Pages that link to "Item:Q1107515"

The following pages link to Algebra of constructions. I. The word problem for partial algebras (Q1107515):

Displayed 5 items.

• Near-equational and equational systems of logic for partial functions. I (Q3032234) ‎ (← links)
• Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions (Q4279249) ‎ (← links)
• Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260) ‎ (← links)
• Normalisation of the Theory<b>T</b>of Cartesian Closed Categories and Conservativity of Extensions<b>T</b>[<i>x</i>] of<b>T</b> (Q4718892) ‎ (← links)
• A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) ‎ (← links)