The following pages link to (Q4346206):
Displayed 28 items.
- An algebra of behavioural types (Q418153) (← links)
- When are different type-logical semantic definitions defining equivalent meanings? (Q439958) (← links)
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
- Polymorphic type inference for the relational algebra (Q696968) (← links)
- On fuzzy type theory (Q703370) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Coq formalization of the higher-order recursive path ordering (Q843949) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Second-order abstract categorial grammars as hyperedge replacement grammars (Q972434) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules (Q1005955) (← links)
- Counting proofs in propositional logic (Q1014285) (← links)
- Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (Q1274981) (← links)
- Semantic bootstrapping of type-logical grammar (Q1778102) (← links)
- Grammar induction by unification of type-logical lexicons (Q1959226) (← links)
- Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
- Weak linearization of the lambda calculus (Q2566028) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL (Q2900507) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- Extended First-Order Logic (Q3183527) (← links)
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (Q3522067) (← links)
- (Q4499281) (← links)
- Studying provability in implicational intuitionistic logic (Q4916206) (← links)
- Abstract Families of Abstract Categorial Languages (Q4917989) (← links)
- Learnability of type-logical grammars (Q4923558) (← links)
- Tachyon instability and Kondo type models (Q5933094) (← links)
- Type system in programming languages (Q5942703) (← links)