Search results
From MaRDI portal
- Reasoning with Guarded Recursion for Coinductive Types 2017-04-11 Paper Guarded Dependent Type Theory with Coinductive Types 2016-06-10 Paper Programming and...10 bytes (18 words) - 20:29, 6 October 2023
- Recursion for Coinductive Types 2017-04-11 Paper A model of guarded recursion with clock synchronisation 2016-12-16 Paper Guarded Dependent Type Theory with...10 bytes (16 words) - 20:03, 24 September 2023
- Nominal Equational Logic 2016-07-08 Paper Guarded Dependent Type Theory with Coinductive Types 2016-06-10 Paper Sequent Calculus in the Topos of Trees 2015-10-01...10 bytes (17 words) - 19:10, 24 September 2023
- and Coinductive Types 2013-04-09 Paper Classical natural deduction for S4 modal logic 2012-11-16 Paper Dual Calculus with Inductive and Coinductive Types...10 bytes (16 words) - 19:33, 24 September 2023
- 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 Iris 2016-09-29 Paper...10 bytes (17 words) - 03:23, 9 December 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 (16 words) - 09:39, 25 September 2023
- guarded type theory 2016-12-16 Paper A Nominal Relational Model for Local Store 2016-07-08 Paper Guarded Dependent Type Theory with Coinductive Types 2016-06-10...10 bytes (18 words) - 05:06, 13 December 2023
- automobiles 2021-01-25 Paper CoCaml: Functional Programming with Regular Coinductive Types 2017-11-10 Paper Well-founded coalgebras, revisited 2017-09-27 Paper...10 bytes (18 words) - 02:18, 7 October 2023
- Paper Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types 2013-04-09 Paper https://portal.mardi4nfdi.de/entity/Q2915710 2012-09-18...10 bytes (16 words) - 07:56, 7 October 2023
- by Prophecy 2009-03-10 Paper A Type of Partial Recursive Functions 2008-12-04 Paper General Recursion via Coinductive Types 2007-10-11 Paper Recursive coalgebras...10 bytes (17 words) - 03:56, 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 (17 words) - 18:13, 9 December 2023
- Languages 2017-11-10 Paper CoCaml: Functional Programming with Regular Coinductive Types 2017-11-10 Paper Cantor meets Scott: semantic foundations for probabilistic...10 bytes (18 words) - 11:54, 6 October 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 (18 words) - 14:15, 6 October 2023
- Bisimulation-Up-To 2014-11-04 Paper A Coalgebraic Foundation for Coinductive Union Types 2014-07-01 Paper (Co)Algebraic Characterizations of Signal Flow Graphs...10 bytes (19 words) - 01:41, 10 December 2023
- Java-like languages 2015-11-11 Paper A Coalgebraic Foundation for Coinductive Union Types 2014-07-01 Paper A Parametric Calculus for Mobile Open Code 2013-12-06...10 bytes (16 words) - 17:00, 6 October 2023
- Languages into Coinductive CLP(X): Can Type Inference Meet Verification? 2011-01-21 Paper Theoretical Computer Science 2010-02-23 Paper Type Inference by...10 bytes (16 words) - 03:32, 7 October 2023
- Bisimulation-Up-To 2014-11-04 Paper A Coalgebraic Foundation for Coinductive Union Types 2014-07-01 Paper (Co)Algebraic Characterizations of Signal Flow Graphs...10 bytes (23 words) - 00:56, 10 December 2023
- de/entity/Q4600775 2018-01-12 Paper CoCaml: Functional Programming with Regular Coinductive Types 2017-11-10 Paper Cantor meets Scott: semantic foundations for probabilistic...10 bytes (17 words) - 03:32, 7 October 2023
- Assertion Networks 2014-11-04 Paper A Coalgebraic Foundation for Coinductive Union Types 2014-07-01 Paper Leaving Traces: A Note on a Sound and Complete...10 bytes (20 words) - 16:50, 9 December 2023
- Bisimulation-Up-To 2014-11-04 Paper A Coalgebraic Foundation for Coinductive Union Types 2014-07-01 Paper Combining Bialgebraic Semantics and Equations 2014-04-16...10 bytes (16 words) - 08:07, 7 October 2023