Typed Lambda Calculi and Applications
Girard, Jean-Yves.
Typed Lambda Calculi and Applications 4th International Conference, TLCA’99 L’Aquila, Italy, April 7-9, 1999 Proceedings / edited by Jean-Yves Girard. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540489597
Computer science.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Foundations.
Typed Lambda Calculi and Applications 4th International Conference, TLCA’99 L’Aquila, Italy, April 7-9, 1999 Proceedings / edited by Jean-Yves Girard. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540489597
Computer science.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Foundations.