Añadir a mi colección
Formato
También te puede gustar
Behavioural Types
Simon Gay
2017
Information and Knowledge
Giuseppe Primiero
2007
Type Theory and Formal Proof
Rob Nederpelt
2014
History and philosophy of constructive type theory
Giovanni Sommaruga
2000
Twenty-five years of constructive type theory
Giovanni Sambin
1998
Type-theoretical grammar
Aarne Ranta
1994
Theory of Logical Types
Irving Marmer Copi
2011
An introduction to mathematical logic and type theory
P. B. Andrews
1986
