Recherche
3 résultat(s) · 18 ms
Recherche en cours…
Basic simple type theory
James Roger Hindley
1997
Categorical logic and type theory
Bart Jacobs
1999
Derivation and computation
Harold Simmons
2000
3 résultat(s) · 18 ms
James Roger Hindley
1997
Bart Jacobs
1999
Harold Simmons
2000