Search results
From MaRDI portal
- 2009-11-12 Paper Dual Calculus with Inductive and Coinductive Types 2009-06-30 Paper Simple Saturated Sets for Disjunction and Second-Order Existential Quantification...10 bytes (13 words) - 06:56, 7 October 2023
- Monadic Inductive Definitions and Implicit Existentials 2016-01-08 Paper Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types...10 bytes (13 words) - 18:33, 24 September 2023
- de/entity/Q4580200 2018-08-13 Paper Type Theory based on Dependent Inductive and Coinductive Types 2018-04-23 Paper Newton Series, Coinductively 2016-02-25 Paper (Co)Algebraic...10 bytes (13 words) - 08:39, 25 September 2023
- Modular properties of algebraic type systems 2019-01-11 Paper Type Theory based on Dependent Inductive and Coinductive Types 2018-04-23 Paper A formalisation...10 bytes (15 words) - 17:13, 9 December 2023
- Applied to Conditional Logics 2009-12-01 Paper Bootstrapping Inductive and Coinductive Types in HasCASL 2009-04-29 Paper Coalgebraic Hybrid Logic 2009-03-31...10 bytes (15 words) - 15:53, 24 September 2023
- Singleton Types and Proof Irrelevance 2009-07-07 Paper Towards Generic Programming with Sized Types 2009-04-02 Paper Semi-continuous Sized Types and Termination...10 bytes (15 words) - 13:15, 6 October 2023
- mardi4nfdi.de/entity/Q2723897 2001-07-08 Paper Monotone (co)inductive types and positive fixed-point types 2000-07-24 Paper https://portal.mardi4nfdi.de/entity/Q4263804...10 bytes (13 words) - 04:33, 7 October 2023
- 2016-08-05 Paper Principal typings for Java-like languages 2015-11-11 Paper A Coalgebraic Foundation for Coinductive Union Types 2014-07-01 Paper A parametric...10 bytes (13 words) - 16:00, 6 October 2023
- Unification for Dependent Types and Records 2011-06-17 Paper Programming Inductive Proofs 2010-11-22 Paper Beluga: A Framework for Programming and Reasoning with...10 bytes (13 words) - 16:20, 6 October 2023
- Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types 2017-04-11 Paper A model of PCF in guarded type theory 2016-12-16 Paper...10 bytes (15 words) - 02:23, 9 December 2023
- Publication Type Semantics for two-dimensional type theory 2024-12-06 Paper Coinductive control of inductive data types 2024-11-26 Paper Bicategorical type theory:...10 bytes (15 words) - 23:26, 24 September 2023
- Publication Type Two guarded recursive powerdomains for applicative simulation 2024-12-17 Paper Greatest HITs: higher inductive types in coinductive definitions...10 bytes (15 words) - 04:06, 13 December 2023
- Martingale Convergence, and Compositionality of Processes 2018-04-23 Paper CoCaml: Functional Programming with Regular Coinductive Types 2017-11-10 Paper Infinitary...10 bytes (16 words) - 10:54, 6 October 2023
- Publication Type Checking equivalence of corecursive streams: an inductive procedure 2024-08-20 Paper Checked corecursive streams: expressivity and completeness...10 bytes (14 words) - 02:32, 7 October 2023
- 2014-11-26 Paper Inductive and coinductive components of corecursive functions in Coq 2014-01-24 Paper Proof-Pattern Recognition and Lemma Discovery in...10 bytes (13 words) - 09:04, 7 October 2023
- Publication Date of Publication Type Coinductive control of inductive data types 2024-11-26 Paper A monoidal Dold-Kan correspondence for...10 bytes (13 words) - 16:31, 24 September 2023
- Affine functions and series with co-inductive real numbers 2007-04-12 Paper Types for Proofs and Programs 2006-11-13 Paper Types for Proofs and Programs 2005-12-23...10 bytes (14 words) - 08:51, 6 October 2023
- machines for inductive languages 2013-10-01 Paper Feasible functionals and intersection of ramified types 2013-08-16 Paper Evolving Graph-Structures and Their...10 bytes (15 words) - 23:37, 24 September 2023
- Publication Type Two guarded recursive powerdomains for applicative simulation 2024-12-17 Paper Greatest HITs: higher inductive types in coinductive definitions...10 bytes (13 words) - 19:29, 6 October 2023
- "fast and loose" reasoning 2020-01-21 Paper The involutions-as-principal types/application-as-unification Analogy 2019-07-04 Paper A Coinductive Animation...10 bytes (13 words) - 18:37, 6 October 2023
