The Community for Technology Leaders
25th Annual Symposium onFoundations of Computer Science, 1984. (1984)
Singer Island, FL
Oct. 24, 1984 to Oct. 26, 1984
ISBN: 0-8186-0591-X
pp: 289-299
INDEX TERMS
CITATION

J. Mitchell, "Semantic Models For Second-Order Lambda Calculus," 25th Annual Symposium onFoundations of Computer Science, 1984.(FOCS), Singer Island, FL, 1984, pp. 289-299.
doi:10.1109/SFCS.1984.715927
80 ms
(Ver 3.3 (11022016))