Light Functional Interpretation
Mircea-Dan Hernest
(L. Ong, Eds.) Computer Science Logic, Lecture Notes in Computer Science (Vol. 3634, p 477–492). Berlin, Heidelberg: Springer Berlin Heidelberg (2005) .
LukeOng2005Springer Berlin Heidelberg
Full text: http://dx.doi.org/10.1007/11538363_33
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment