Author:
Ismailova Larisa,Wolfengagen Viacheslav,Kosikov Sergey
Funder
Russian Foundation for Basic Research
Reference46 articles.
1. The B-Book: Assigning Programs to Meanings;Abrial,1996
2. Foundational Theories of Classical and Constructive Mathematics;Awodey,2011
3. The impact of the lambda calculus in logic and computer science;Barendregt;Bulletin of Symbolic Logic,1997
4. Systems of illative combinatory logic complete for first-order prepositional and predicate calculus;Barendregt;Journal of Symbolic Logic,1993
5. Combinatory Logic: Pure, Applied and Typed;Bimbo,2012
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献