Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bfb0014055> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- bfb0014055 contribution "A simple model for quotient types".
- bfb0014055 doi "10.1007/BFb0014055".
- bfb0014055 first "Martin".
- bfb0014055 isCitedBy Setoid.
- bfb0014055 last "Hofmann".
- bfb0014055 location "Berlin".
- bfb0014055 mr "1477985".
- bfb0014055 pages "216–234".
- bfb0014055 publisher "Springer".
- bfb0014055 series "Lecture Notes in Comput. Sci.".
- bfb0014055 title "Typed lambda calculi and applications".
- bfb0014055 url tlca95.ps.
- bfb0014055 volume "902".
- bfb0014055 year "1995".