Rezus, Adrian (1949-)
| rdfs:label | "Rezus, Adrian (1949-)" |
| schema:name | "Adrian Rezus" |
|
schema:family |
"Rezus" |
|
schema:given |
"Adrian" |
|
schema:birth |
"1949" |
|
schema:same |
<http:/ |
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Rezus, Adrian (1949-)
A bibliography of lambda-calculi combinatory logics and related topics / A. Rezus ; [pref. Henk Barendregt]schema:ProductModel
Abstract automath / A. Rezusschema:ProductModel
Constructions and propositional types I (generalized polymorphism 3) / Adrian Rezusschema:ProductModel
Lambda-conversion and logic / door Adrian Rezusschema:ProductModel
Propositions-as-types revisited / Adrian Rezusschema:ProductModel
Semantics of constructive type theory I / Adrian Rezusschema:ProductModel
Varieties of generalized functionality : (generalized polymorphism I) / Adrian Rezus ; with two contr. by Peter de Bruin)schema:ProductModel