Search results
From MaRDI portal
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types 2017-04-11 Paper A model of guarded recursion with...10 bytes (16 words) - 20:03, 24 September 2023
- Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types 2017-04-11 Paper Guarded Dependent Type Theory with Coinductive Types 2016-06-10...10 bytes (18 words) - 20:29, 6 October 2023
- recursive types in synthetic guarded domain theory 2019-02-19 Paper A type theory for productive coprogramming via guarded recursion 2018-04-23 Paper Denotational...10 bytes (18 words) - 05:06, 13 December 2023
- de/entity/Q5278409 2017-07-19 Paper The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types 2017-04-11 Paper...10 bytes (17 words) - 19:10, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4028343 1993-03-28 Paper On guarded recursion 1991-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3353234 1989-01-01...10 bytes (16 words) - 17:23, 11 December 2023
- Paper The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types 2017-04-11 Paper A model of PCF in guarded type theory...10 bytes (17 words) - 03:23, 9 December 2023
- 1992-09-27 Paper Fairness, distances and degrees 1992-09-27 Paper On guarded recursion 1991-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5750408 1991-01-01...10 bytes (16 words) - 03:23, 9 December 2023
- Confers Concurrency 2016-08-17 Paper Productive coprogramming with guarded recursion 2015-03-30 Paper Abstraction and invariance for algebraically indexed...10 bytes (16 words) - 13:22, 7 October 2023
- Turing-Completeness Totally Free 2015-08-27 Paper Productive coprogramming with guarded recursion 2015-03-30 Paper The gentle art of levitation 2015-03-05 Paper Clowns...10 bytes (18 words) - 09:36, 25 September 2023
- implication 2018-01-12 Paper Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion 2017-11-10 Paper A Van Benthem/Rosen theorem for coalgebraic predicate...10 bytes (16 words) - 19:44, 6 October 2023
- Category 2018-04-23 Paper Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion 2017-11-10 Paper Syntactic Monoids in a Category 2017-07-11 Paper...10 bytes (16 words) - 08:07, 7 October 2023
- coalgebraic resumptions 2018-04-23 Paper Unifying Guarded and Unguarded Iteration 2017-05-19 Paper Unguarded recursion on coinductive resumptions 2016-12-16 Paper...10 bytes (16 words) - 09:23, 7 October 2023
- with the Guarded Fragment 2020-09-11 Paper Lower bounds for processing data with few random accesses to external memory 2015-11-11 Paper L-Recursion and a...10 bytes (17 words) - 13:25, 6 October 2023
- 1997-02-28 Paper Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) 1989-01-01 Paper Ptykes in Gödels...10 bytes (16 words) - 11:33, 12 December 2023
- Slicing for Concurrent Constraint Languages 2021-05-20 Paper Probabilistic Recursion Theory and Implicit Computational Complexity 2019-02-08 Paper SUNNY-CP...10 bytes (16 words) - 01:57, 10 December 2023
- logic with recursion 2021-11-25 Paper The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic 2021-05-21 Paper On guarded transformation...10 bytes (16 words) - 19:19, 24 September 2023
- 1985-01-01 Paper Recursion and iteration in continuous theories: the M-construction 1983-01-01 Paper All solutions of a system of recursion equations in infinite...10 bytes (18 words) - 13:45, 8 December 2023
- and forth between guarded and modal logics 2017-06-13 Paper Is Polynomial Time Choiceless? 2015-09-22 Paper The Freedoms of (Guarded) Bisimulation 2015-05-11...10 bytes (17 words) - 16:34, 24 September 2023
- Publication Date of Publication Type Temporal refinements for guarded recursive types 2021-10-18 Paper LMSO 2021-01-20 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 00:59, 25 September 2023
- Paper A metalanguage for guarded iteration 2018-11-23 Paper https://portal.mardi4nfdi.de/entity/Q4585073 2018-09-06 Paper Guarded traced categories 2018-07-17...10 bytes (19 words) - 14:05, 10 December 2023
