An applicative theory for FPH.

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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