Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q4369919 1998-01-14 Paper A partial evaluator for a parallel lambda language 1997-12-15 Paper https://portal.mardi4nfdi.de/entity/Q4357771 1997-09-28...10 bytes (14 words) - 15:39, 12 December 2023
- equational theories 2001-01-25 Paper A partial evaluator for a parallel lambda language 1997-12-15 Paper...10 bytes (13 words) - 04:50, 7 October 2023
- iterative computations 2001-10-21 Paper A partial evaluator for a parallel lambda language 1997-12-15 Paper...10 bytes (13 words) - 09:59, 24 September 2023
- Maps and Linear Lambda Terms 2021-06-15 Paper Generalized Tilings with Height Functions 2021-01-20 Paper Statistical properties of lambda terms 2019-10-14...10 bytes (13 words) - 06:29, 7 October 2023
- problems for datalog programs 1997-04-17 Paper Database query languages embedded in the typed lambda calculus 1996-10-01 Paper IN MEMORIAM Paris C. Kanellakis...10 bytes (17 words) - 01:24, 13 December 2023
- the system F as a glue language for natural-language compositional-semantics 2011-08-25 Paper Quantification in ordinary language 2011-07-10 Paper Categorial...10 bytes (15 words) - 08:30, 7 October 2023
- classes 1996-11-26 Paper Database query languages embedded in the typed lambda calculus 1996-10-01 Paper Parallel Algorithms with Processor Failures and...10 bytes (17 words) - 08:02, 12 December 2023
- 2018-10-04 Paper Regular language representations in the constructive type theory of Coq 2018-08-21 Paper Weak call-by-value lambda calculus as a model of...10 bytes (15 words) - 15:04, 10 December 2023
- Applicative Programming for Parallel Processing 1978-01-01 Paper Unbounded computational structures 1978-01-01 Paper Compiling lambda-expressions using continuations...10 bytes (15 words) - 09:08, 24 September 2023
- Paper Developments in Language Theory 2006-06-23 Paper Developments in Language Theory 2005-12-22 Paper Developments in Language Theory 2005-12-22 Paper...10 bytes (13 words) - 18:47, 12 December 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
- mardi4nfdi.de/entity/Q5079730 2022-05-28 Paper Types for complexity of parallel computation in pi-calculus 2021-10-18 Paper Combining linear logic and...10 bytes (13 words) - 09:43, 6 October 2023
- Paper One method of defining the semantics of programming language constructs in terms of lambda calculus. II 1983-01-01 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 13:30, 24 September 2023
- 2022-01-06 Paper Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms 2021-05-20 Paper Arithmetic...10 bytes (13 words) - 07:37, 7 October 2023
- Paper A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus 2017-12-11 Paper The intrinsic topology of Martin-Löf universes...10 bytes (15 words) - 16:31, 7 December 2023
- Verification and Language-Based Security 2010-01-14 Paper Programming Languages and Systems 2010-01-05 Paper Undecidable equivalences for basic parallel processes...10 bytes (14 words) - 08:08, 25 September 2023
- 2016-08-16 Paper Lazy evaluation and delimited control 2015-07-03 Paper A language for generic programming in the large 2011-05-04 Paper Accurately measuring...10 bytes (13 words) - 13:19, 6 October 2023
- Fregel: a functional domain-specific language for vertex-centric large-scale graph processing 2022-03-17 Paper Lambda calculus with algebraic simplification...10 bytes (13 words) - 17:37, 24 September 2023
- Developments in Language Theory 2006-06-23 Paper https://portal.mardi4nfdi.de/entity/Q5716611 2006-01-10 Paper Developments in Language Theory 2005-12-22...10 bytes (13 words) - 14:00, 10 December 2023
- based on affix grammars 1988-01-01 Paper Parallel parsing of programming languages 1987-01-01 Paper A new parallel algorithm for parsing arithmetic infix...10 bytes (15 words) - 09:17, 24 September 2023
