The Community for Technology Leaders
2013 IEEE 54th Annual Symposium on Foundations of Computer Science (1984)
Singer Island, FL
Oct. 24, 1984 to Oct. 26, 1984
ISBN: 0-8186-0591-X
pp: 289-299
INDEX TERMS
CITATION
J.C. Mitchell, "Semantic Models For Second-Order Lambda Calculus", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 289-299, 1984, doi:10.1109/SFCS.1984.715927
100 ms
(Ver )