BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
pair (3)
reduct (2)
calculus (2)
conserv (1)
logic (1)

Stem surject$ (all stems)

4 papers:

TLCATLCA-2005-AbelC #algorithm #framework #logic #similarity
Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs (AA, TC), pp. 23–38.
ICALPICALP-1991-CurienC #reduction #λ-calculus
A Concluent Reduction for the λ-Calculus with Surjective Pairing and Terminal Object (PLC, RDC), pp. 291–302.
LICSLICS-1989-Vrijer #λ-calculus
Extending the λ Calculus with Surjective Pairing is Conservative (RCdV), pp. 204–215.
CSLCSL-1987-BohmP #combinator #finite #reduction #set
Surjectivity for Finite Sets of Combinators by Weak Reduction (CB, AP), pp. 27–43.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.