Switch to: References

Citations of:

A sequent calculus formulation of type assignment with equality rules for the \ambdaβ-calculus

Jonathan P. Seldin

Journal of Symbolic Logic 43 (4):643-649 (1978)

Add citations

You must login to add citations.

On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 1 citation
On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.details Category Theory in Philosophy of Mathematics Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark

1