Collapsing Partial Combinatory Algebras (1996)

Cached

Download Links

by Inge Bethke , Jan Willem Klop
Venue:Higher-Order Algebra, Logic, and Term Rewriting
Citations:16 - 2 self

Documents Related by Co-Citation

480 Introduction to Higher Order Categorical Logic. Cambridge Studies in Advanced Mathematics 7 – J Lambek, P Scott - 1986
74 Realizability Toposes and Language Semantics – J Longley - 1994
1244 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
601 Term Rewriting Systems – J. W. Klop - 1992
1089 Categories for the working mathematician – S Mac Lane - 1971
346 Classical Recursion Theory – A Classical, Calculation Of, Myron W. Evans - 1989
590 Lambda Calculi with Types – Henk Barendregt - 1993
846 Introduction to metamathematics – S C Kleene - 1952
16 Algebraically generalized recursive function theory – H R Strong - 1968