5 treff
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1999
Advances in linear logic
edited by Jean-Yves Girard, Yves Lafont, ...
Bok Engelsk 1995
Proofs and types
Jean-Yves Girard, Yves Lafont, Paul Taylo...
Bok Engelsk 1989
Embeddability of ptykes
by Dag Normann, Jean-Yves Girard
Bok Språk ikke angitt 1984
Set recursion and π1/2-logic
by Jean-Yves Girard, Dag Normann
Bok Språk ikke angitt 1983 · Les boka på nett