Search results
From MaRDI portal
Did you mean: parallel lambda calculi
- 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
- 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
- recursion and extensional lambda calculi 2019-04-29 Paper A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion...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 (14 words) - 01:44, 9 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
- 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
- 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
- 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
- composition 2023-06-02 Paper Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation 2021-05-10 Paper Abstract...10 bytes (15 words) - 09:50, 24 September 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
- elimination and program slicing for the pi-calculus. 2010-01-05 Paper Undecidable equivalences for basic parallel processes 2009-07-15 Paper Type-Based Automated...10 bytes (14 words) - 08:08, 25 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
- 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
- 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 \textit{Traité de lutherie}...10 bytes (17 words) - 01:24, 13 December 2023
- diagrams in term rewriting and \(\lambda\)-calculus 2015-09-17 Paper A sound and complete abstraction for reasoning about parallel prefix sums 2014-04-10 Paper...10 bytes (13 words) - 04:34, 7 October 2023
- dependencies of logical rules 2015-10-01 Paper Typing streams in the \({\Lambda}{\mu}\)-calculus 2015-09-17 Paper A game semantics for proof search (preliminary...10 bytes (13 words) - 05:01, 7 October 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
- semi-analytic method 2022-06-03 Paper Statistical weighted \((N_\lambda,p,q)(E_\lambda,1)\) \(A\)-summability with application to Korovkin's type approximation...10 bytes (17 words) - 13:20, 28 January 2024
