Search results
From MaRDI portal
- 1999-04-13 Paper Infinite \(\lambda\)-calculus and types 1999-01-12 Paper A Filter Model for Concurrent $\lambda$-Calculus 1998-09-21 Paper Filter models...10 bytes (16 words) - 12:28, 28 January 2024
- Publication Date of Publication Type A lambda calculus satellite 2024-10-21 Paper A lambda calculus satellite 2024-03-01 Paper Call-By-Value, Again...10 bytes (13 words) - 10:54, 6 October 2023
- 2008-11-20 Paper A calculus for parallel computations over multidimensional dense arrays 2007-04-16 Paper Remarks on isomorphisms in typed lambda calculi with...10 bytes (17 words) - 09:33, 6 October 2023
- Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion 2012-10-22 Paper Full abstraction for resource calculus with tests 2012-09-18...10 bytes (13 words) - 01:44, 9 December 2023
- de/entity/Q4454862 2004-03-08 Paper An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. 2003-01-21 Paper https://portal.mardi4nfdi.de/entity/Q4806298...10 bytes (15 words) - 18:21, 11 December 2023
- Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion 2012-10-22 Paper Full abstraction for resource calculus with tests 2012-09-18...10 bytes (14 words) - 01:44, 9 December 2023
- intensional lambda-calculus 2022-04-25 Paper Intensional computation with higher-order functions 2019-03-26 Paper Programs as data structures in \(\lambda\)SF-calculus...10 bytes (14 words) - 04:31, 12 December 2023
- Publication Type Formal small-step verification of a call-by-value lambda calculus machine 2023-08-02 Paper https://portal.mardi4nfdi.de/entity/Q6099607...10 bytes (15 words) - 15:04, 10 December 2023
- composition 2023-06-02 Paper Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation 2021-05-10 Paper https://portal...10 bytes (15 words) - 09:50, 24 September 2023
- de/entity/Q5079730 2022-05-28 Paper Types for complexity of parallel computation in pi-calculus 2021-10-18 Paper Combining linear logic and size types for...10 bytes (13 words) - 09:43, 6 October 2023
- in the \(\lambda\)-calculus 1996-12-12 Paper Flow models of distributed computations: Three equivalent semantics for CCS 1995-01-11 Paper Lambda-calculi...10 bytes (13 words) - 15:53, 12 December 2023
- 1997-01-12 Paper Parallel reductions in \(\lambda\)-calculus 1995-12-13 Paper https://portal.mardi4nfdi.de/entity/Q4281488 1995-02-16 Paper Parallel reductions...10 bytes (13 words) - 05:01, 7 October 2023
- 2017-08-21 Paper Optimality and inefficiency: what isn't a cost model of the lambda calculus? 2016-09-01 Paper Functional geometry and the Traité de Lutherie 2015-03-30...10 bytes (17 words) - 01:24, 13 December 2023
- implicitly parallel languages 2017-10-23 Paper Hierarchical memory management for parallel programs 2017-05-10 Paper Dag-calculus: a calculus for parallel computation...10 bytes (16 words) - 20:14, 24 September 2023
- Paper Paths, computations and labels in the λ-calculus 2022-12-09 Paper δο!∈=1 Optimizing optimal λ-calculus implementations 2022-12-09 Paper Optimal reductions...10 bytes (15 words) - 14:52, 10 December 2023
- Equivalences and Behavioral Type Systems for the π-Calculus 2007-11-28 Paper Resource Usage Analysis for the Pi-Calculus 2007-10-11 Paper A New Type System for Deadlock-Free...10 bytes (14 words) - 08:08, 25 September 2023
- accumulation calculus 1998-06-29 Paper https://portal.mardi4nfdi.de/entity/Q4369919 1998-01-14 Paper A partial evaluator for a parallel lambda language 1997-12-15...10 bytes (14 words) - 15:39, 12 December 2023
- 2014-01-17 Paper On reversible combinatory logic 2013-10-02 Paper \(\lambda\)-calculus and quantitative program analysis (extended abstract) 2013-09-20 Paper...10 bytes (16 words) - 02:19, 12 December 2023
- Extended lambda-Calculus. 2017-02-02 Paper Nominal Confluence Tool 2016-09-05 Paper A Translation of Intersection and Union Types for the λμ-Calculus 2016-02-26...10 bytes (13 words) - 13:50, 24 September 2023
- Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus 2017-12-11 Paper The intrinsic topology of Martin-Löf universes 2016-06-03...10 bytes (15 words) - 16:31, 7 December 2023
