Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 authorlink "H.P. Barendregt".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 first "H. P.".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 isCitedBy Pure_type_system.
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 issue "2".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 journal "Journal of Functional Programming".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 last "Barendregt".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 pages "125–154".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 title "Introduction to generalized type systems".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 url "http://dare.ubn.kun.nl/bitstream/2066/17240/1/13256.pdf Introduction to generalized type systems".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 volume "1".
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 year "1991".