Extending the lambda calculus with surjective pairing is conservative / Roel de Vrijer - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Extending the lambda calculus with surjective pairing is conservative / Roel de Vrijer

Extending the lambda calculus with surjective pairing is conservative / Roel de Vrijer

http://data.bibliotheken.nl/id/nbt/p057041555

48752572528fc9aa0d7a1414c27f9eba

mainEntity

Extending the lambda calculus with surjective pairing is conservative / Roel de Vrijer

http://data.bibliotheken.nl/id/nbt/p057041555

about

author

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

ITLI prepublication series

mainEntityOfPage

48752572528fc9aa0d7a1414c27f9eba

name

Extending the lambda calculus with surjective pairing is conservative

http://www.w3.org/2001/XMLSchema#string

numberOfPages

12

http://www.w3.org/2001/XMLSchema#integer

publication

030bdb44c8ebcdf8df4295db4995cf2b

sameAs

type

label

Extending the lambda calculus with surjective pairing is conservative / Roel de Vrijer

http://www.w3.org/2001/XMLSchema#string