Pages that link to "Item:Q1314363"
From MaRDI portal
The following pages link to A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363):
Displaying 20 items.
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- Full abstraction and the Context Lemma (preliminary report) (Q5096215) (← links)
- Automata, Logic and Games for the $$\lambda $$ -Calculus (Q5224488) (← links)
- A topology on lattice-ordered groups (Q5225407) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- On the ubiquity of certain total type structures (Q5430138) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)
- On Natural Non-dcpo Domains (Q5452201) (← links)
- Computing with Functionals—Computability Theory or Computer Science? (Q5479568) (← links)
- Partiality and recursion in interactive theorem provers – an overview (Q5741556) (← links)
- Weakly weighted generalised quasi-metric spaces and semilattices (Q6077072) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
- Logic operators and quantifiers in type-theory of algorithms (Q6560410) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- Machine-checked meta-theory of dual-tableaux for intuitionistic logic (Q6599616) (← links)
- A few Projective classes of (non-Hausdorff) topological spaces (Q6611767) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
- A first-order completeness result about characteristic Boolean algebras in classical realizability (Q6649488) (← links)
- Sharp elements and apartness in domains (Q6653753) (← links)
