An applicative theory for FPH.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Original language	Unknown
Title of host publication	Electronic Proceedings in Theoretical Computer Science
Pages	44-56
DOIs	https://doi.org/10.4204/EPTCS.47.6
Publication status	Published - 1 Jan 2011
Event	Classical Logic and Computation - Duration: 1 Jan 2010 → …

Conference	Classical Logic and Computation
Period	1/01/10 → …

Access to Document

@inproceedings{3c3580f5f7ec4024a3b2484ce8f0ba2d,

title = "An applicative theory for FPH.",

author = "Kahle, {Isabel Maria Oitavem Fonseca da Rocha} and Reinhard Kahle",

year = "2011",

month = jan,

day = "1",

doi = "10.4204/EPTCS.47.6",

language = "Unknown",

pages = "44--56",

booktitle = "Electronic Proceedings in Theoretical Computer Science",

note = "Classical Logic and Computation ; Conference date: 01-01-2010",

}