Search results
From MaRDI portal
- Abramsky's lazy lambda calculus: (non)-conservativity of embeddings 2017-02-01 Paper Observational Semantics for a Concurrent Lambda Calculus with Reference...10 bytes (13 words) - 02:19, 25 September 2023
- Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings 2017-02-01 Paper Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case...10 bytes (13 words) - 20:16, 24 September 2023
- 2019-10-24 Paper Observing Success in the Pi-Calculus 2019-10-24 Paper A non-deterministic call-by-need lambda calculus 2019-09-26 Paper Linear pattern matching...10 bytes (17 words) - 12:00, 11 December 2023
- 2013-10-02 Paper Lazy strong normalization 2013-10-02 Paper Lazy logical semantics 2013-09-11 Paper Intersection typed \(\lambda \)-calculus 2013-08-16 Paper...10 bytes (18 words) - 02:07, 10 December 2023
- Paper The parametric lambda calculus. A metamodel for computation. 2005-01-12 Paper Parametric parameter passing \(\lambda\)-calculus 2004-11-23 Paper https://portal...10 bytes (14 words) - 15:22, 6 October 2023
- Linearization of the lambda-calculus and its relation with intersection type systems 2005-09-27 Paper Weak linearization of the lambda calculus 2005-09-22 Paper...10 bytes (13 words) - 05:51, 7 October 2023
- 2014-03-26 Paper Imaginary groups: lazy monoids and reversible computation 2014-03-12 Paper The \(\lambda\)-context calculus 2014-01-10 Paper Hierarchical nominal...10 bytes (15 words) - 19:26, 11 December 2023
- de/entity/Q5089028 2022-07-18 Paper The Benefit of Being Non-Lazy in Probabilistic λ-calculus 2021-01-21 Paper https://portal.mardi4nfdi.de/entity/Q3300796...10 bytes (13 words) - 18:50, 11 December 2023
- Publication Date of Publication Type Principal types as \(\lambda\) nets 2024-08-01 Paper lambda!-calculus, Intersection Types, and Involutions 2022-07-18 Paper...10 bytes (15 words) - 18:37, 6 October 2023
- dependent lambda eliminations 2017-10-23 Paper Efficiency of lambda-encodings in total type theory 2017-10-23 Paper A lazy approach to adaptive exact real arithmetic...10 bytes (13 words) - 10:19, 6 October 2023
- Univariate Mixed Fractions in Divisive Meadows 2017-07-03 Paper Clocked lambda calculus 2017-06-14 Paper Automatic Sequences and Zip-Specifications 2017-05-16...10 bytes (13 words) - 23:41, 24 September 2023
- Proving non-termination by finite automata 2017-07-12 Paper Clocked lambda calculus 2017-06-14 Paper Automatic Sequences and Zip-Specifications 2017-05-16...10 bytes (13 words) - 23:41, 24 September 2023
- Paper Profiling for laziness 2014-04-10 Paper Modeling Web Interactions and Errors 2013-06-18 Paper The Call-by-Need Lambda Calculus, Revisited 2012-06-22...10 bytes (15 words) - 11:10, 24 September 2023
- 1996-05-02 Paper A theory of bisimulation for the \(\pi\)-calculus 1995-11-15 Paper The lazy lambda calculus in a concurrency scenario 1995-01-22 Paper Classes...10 bytes (15 words) - 10:44, 11 December 2023
- Publication Date of Publication Type (Towards a) statistical probabilistic lazy lambda calculus 2024-10-01 Paper Truly concurrent constraint programming 2023-06-28...10 bytes (13 words) - 10:22, 12 December 2023
- Programming 2013-09-13 Paper Safety versus Security in the Quality Calculus 2013-08-16 Paper Lazy Mobile Intruders 2013-08-06 Paper Reachability for finite-state...10 bytes (15 words) - 23:02, 11 December 2023
- Interpretation of Context-Free Expressions 2022-12-09 Paper Polymorphic lambda calculus with context-free session types 2022-12-08 Paper Relating Functional...10 bytes (15 words) - 01:59, 25 September 2023
- continuations 2017-08-21 Paper Trampolined style 2016-09-01 Paper Enriching the lambda calculus with contexts: toward a theory of incremental program construction 2016-09-01...10 bytes (15 words) - 09:08, 24 September 2023
- Programming 2013-09-13 Paper Safety versus Security in the Quality Calculus 2013-08-16 Paper Lazy Mobile Intruders 2013-08-06 Paper Cryptographic analysis in...10 bytes (17 words) - 02:32, 7 October 2023
- curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus 2020-09-23 Paper https://portal.mardi4nfdi.de/entity/Q4580209...10 bytes (14 words) - 08:39, 6 October 2023
