Fundraising September 15, 2024 – October 1, 2024 About fundraising

Volume 48; Issue 2

1

Parametrization over inductive relations of a bounded number of variables

Year:
1990
Language:
english
File:
PDF, 2.08 MB
english, 1990
2

Domain interpretations of martin-löf’s partial type theory

Year:
1990
Language:
english
File:
PDF, 3.70 MB
english, 1990