Author:
Haack Christian,Howard Brian,Stoughton Allen,Wells Joe B.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lect Notes Comput Sci;M. V. Aponte,1996
2. I. Cervesato, F. Pfenning. Linear higher-order pre-unification. In Proc. 12th Ann. IEEE Symp. Logic in Comput. Sci., 1997.
3. R. L. Constable, J. Hickey. Nuprl’s class theory and its applications. Unpublished, 2000.
4. R. Di Cosmo. Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design. Birkhäuser, 1995.
5. R. Dyckhoff, L. Pinto. A permutation-free sequent calculus for intuitionistic logic. Technical Report CS/96/9, University of St Andrews, 1996.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Intersection Types, Two-Level Languages, and Staged Synthesis;Semantics, Logics, and Calculi;2015-12-25
2. Staged Composition Synthesis;Programming Languages and Systems;2014
3. Combinatory Logic Synthesizer;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2014
4. Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis;Electronic Proceedings in Theoretical Computer Science;2013-07-30
5. INSIGHT: understanding unexpected behaviours in agent-based simulations;Journal of Simulation;2010-09