The following pages link to (Q4040149):
Displaying 38 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- On concurrent games with payoff (Q265795) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Comparing Hagino's categorical programming language and typed lambda- calculi (Q685425) (← links)
- Notions of computation and monads (Q757075) (← links)
- Sheaf tools for computation (Q870127) (← links)
- Universal profinite domains (Q1093371) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Geometry and generality in Frege's philosophy of arithmetic. (Q1578773) (← links)
- Morita equivalence of semigroups revisited: firm semigroups (Q1645000) (← links)
- Ehresmann semigroups from a range restriction viewpoint (Q2036069) (← links)
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- Curry-Howard-Lambek correspondence for intuitionistic belief (Q2062203) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- CATEGORICAL COMPLEXITY (Q3304647) (← links)
- (Q3384928) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- (Q4585075) (← links)
- Partial Recursive Functions and Finality (Q4922089) (← links)
- Topological rigidity as a monoidal equivalence (Q4967374) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- Dynamic game semantics (Q4988428) (← links)
- (Q5013825) (← links)
- Linearizing Combinators (Q5037747) (← links)
- (Q5119390) (← links)
- (Q5137919) (← links)
- Type Similarity for the Lambek-Grishin Calculus Revisited (Q5414956) (← links)
- Sets in homotopy type theory (Q5740655) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)
