The following pages link to (Q3886868):
Displaying 29 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Level I theory of large deviations in the ideal gas (Q912470) (← links)
- On Ruelle's construction of the thermodynamic limit for the classical microcanonical entropy (Q1012693) (← links)
- Programs as proofs: A synopsis (Q1051424) (← links)
- Terminating general recursion (Q1112584) (← links)
- Lazy variable-renumbering makes substitution cheap (Q1114386) (← links)
- The significance of the ergodic decomposition of stationary measures for the interpretation of probability (Q1171322) (← links)
- Inductive families (Q1336951) (← links)
- Meaning explanations at higher dimension (Q1688954) (← links)
- The foundation of a generic theorem prover (Q1823013) (← links)
- Finitary higher inductive types in the groupoid model (Q2130587) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Canonicity and normalization for dependent type theory (Q2422026) (← links)
- Equivalences between pure type systems and systems of illative combinatory logic (Q2565990) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (Q3007659) (← links)
- A Brief Overview of Agda – A Functional Language with Dependent Types (Q3183520) (← links)
- From operational semantics to abstract machines (Q4279254) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
- Internal type theory (Q4647575) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5089034) (← links)
- (Q5094144) (← links)
- A set constructor for inductive sets in Martin-Löf's type theory (Q5096257) (← links)
- The Functional Interpretation of Direct Computations (Q5179008) (← links)
- Dependent Types at Work (Q5191088) (← links)
- Mollusc a general proof-development shell for sequent-based logics (Q5210817) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- (Q6060675) (← links)
