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

Marketing Automation Platform Marketing Automation Tool