Pages that link to "Item:Q1107515"
From MaRDI portal
The following pages link to Algebra of constructions. I. The word problem for partial algebras (Q1107515):
Displaying 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)
