The following pages link to (Q4325974):
Displaying 25 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- A verified framework for higher-order uncurrying optimizations (Q968367) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object (Q1893735) (← links)
- Functional pearl: the distributive \(\lambda\)-calculus (Q2039932) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- Automorphisms of types and their applications (Q2307975) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- On the building of affine retractions (Q3520151) (← links)
- Provable isomorphisms of types (Q4017461) (← links)
- Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (Q4254631) (← links)
- Retrieving library functions by unifying types modulo linear isomorphism (Q4304554) (← 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)
- Remarks on Isomorphisms of Simple Inductive Types (Q4924549) (← links)
- Procedural isomorphism, analytic information and -conversion by value (Q4925174) (← links)
- (Q5089014) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- Retrieving library identifiers via equational matching of types (Q6488563) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
