Extensional proofs in a propositional logic modulo isomorphisms (Q6052705): Difference between revisions

@@ Property / cites work @@
+A System F accounting for scalars
@@ Property / cites work: A System F accounting for scalars / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
+Normal rank
@@ Property / cites work @@
+Q2980972
@@ Property / cites work: Q2980972 / rank @@
+Normal rank
@@ Property / cites work @@
+The vectorial \(\lambda\)-calculus
@@ Property / cites work: The vectorial \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda-calculi for (strict) parallel functions
@@ Property / cites work: Lambda-calculi for (strict) parallel functions / rank @@
+Normal rank
@@ Property / cites work @@
+Provable isomorphisms of types
@@ Property / cites work: Provable isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+A relational semantics for parallelism and non-determinism in a functional setting
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A Filter Model for Concurrent $\lambda$-Calculus
@@ Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325974
@@ Property / cites work: Q4325974 / rank @@
+Normal rank
@@ Property / cites work @@
+A short survey of isomorphisms of types
@@ Property / cites work: A short survey of isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating expansions without expansions
@@ Property / cites work: Simulating expansions without expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Quantum Superpositions and Measurement
@@ Property / cites work: Typing Quantum Superpositions and Measurement / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089014
@@ Property / cites work: Q5089014 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity in the Non-deterministic Call-by-Value Setting
+Normal rank
@@ Property / cites work @@
+Proof normalization modulo
@@ Property / cites work: Proof normalization modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for isomorphisms of simple types
+Normal rank
@@ Property / cites work @@
+The virtues of eta-expansion
@@ Property / cites work: The virtues of eta-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Classical isomorphisms of types
@@ Property / cites work: Classical isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity, Non-determinism and Solvability
@@ Property / cites work: Linearity, Non-determinism and Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing metatheory without typing contexts
@@ Property / cites work: Mechanizing metatheory without typing contexts / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
+Normal rank
@@ Property / cites work @@
+Q4327834
@@ Property / cites work: Q4327834 / rank @@
+Normal rank
@@ Property / cites work @@
+The category of finite sets and Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank