Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and A - detaljert visning

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings


Utgitt	Berlin : Springer , c1997
Omfang	VIII, 404 s. : fig.
Emner	Bevisteori Lambda-kalkyle Matematisk logikk lambdakalkyle
ISBN	3540626883