Filter
Søkt på: Søkeresultat
Filter
1 treff
Type-theoretical Grammar
innbundet,
1995,
Engelsk,
ISBN 9780198538578
Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and …