An applicative theory for FPH.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
Original languageUnknown
Title of host publicationElectronic Proceedings in Theoretical Computer Science
Pages44-56
DOIs
Publication statusPublished - 1 Jan 2011
EventClassical Logic and Computation -
Duration: 1 Jan 2010 → …

Conference

ConferenceClassical Logic and Computation
Period1/01/10 → …

Cite this

Kahle, I. M. O. F. D. R., & Kahle, R. (2011). An applicative theory for FPH. In Electronic Proceedings in Theoretical Computer Science (pp. 44-56) https://doi.org/10.4204/EPTCS.47.6