The following pages link to (Q3760508):
Displaying 28 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Relations in operational categories (Q678847) (← links)
- Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (Q687575) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- Krull rings, Prüfer \(v\)-multiplication rings and the ring of finite fractions (Q812502) (← links)
- Codatatypes in ML (Q908682) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312) (← links)
- The linear abstract machine (Q1105351) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- An intersection problem for finite automata (Q1118410) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Embedding of a free cartesian-closed category into the category of sets (Q1380064) (← links)
- Cartesian categories with natural numbers object (Q1822604) (← links)
- Rings of continuous functions with values in a topological division ring (Q1918663) (← links)
- The Mori property in rings with zero divisors. II. (Q2478018) (← links)
- The maximality of the typed lambda calculus and of cartesian closed categories (Q2724040) (← links)
- Applications of methods of proof theory in category theory. (Q2744122) (← links)
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting (Q2846582) (← links)
- Physics, Topology, Logic and Computation: A Rosetta Stone (Q3000920) (← links)
- (Q3142163) (← links)
- Cartesian Monoids (Q3178269) (← links)
- Aspects of higher order categorical logic (Q3342573) (← links)
- (Q3984290) (← links)
- (Q4282541) (← links)
- (Q4474857) (← links)
- Formal categorical reasoning (Q5102205) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
