Search results
From MaRDI portal
- the semantics of the call-by-name CPS transform 2000-08-21 Paper A semantics for lambda calculi with resources 2000-05-09 Paper The \(\pi\)-calculus in...10 bytes (16 words) - 16:53, 12 December 2023
- Publication Date of Publication Type Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures 2015-07-10 Paper Observational...10 bytes (16 words) - 03:22, 13 December 2023
- Paper Tabular 2014-04-10 Paper A Chart Semantics for the Pi-Calculus 2013-12-06 Paper Measure Transformer Semantics for Bayesian Machine Learning 2013-09-26...10 bytes (18 words) - 07:43, 12 December 2023
- reversibility of imperative concurrent programs 2022-11-11 Paper Modelling of DNA mismatch repair with a reversible process calculus 2022-06-24 Paper https://portal...10 bytes (16 words) - 04:04, 13 December 2023
- asynchronous π-calculus 2023-06-28 Paper An investigation into functions as processes 2023-04-28 Paper From π-calculus to higher-order π-calculus — and back...10 bytes (17 words) - 11:44, 11 December 2023
- models for typed lambda calculus 1991-01-01 Paper Operations on records 1991-01-01 Paper The semantics of second-order lambda calculus 1990-01-01 Paper https://portal...10 bytes (18 words) - 01:56, 10 December 2023
- polymorphism 2016-08-05 Paper An imperative pure calculus 2016-08-05 Paper Aliasing Control in an Imperative Pure Calculus 2016-01-08 Paper Principal typings...10 bytes (17 words) - 03:32, 7 October 2023
- Publication Date of Publication Type From semantics to types: the case of the imperative \(\lambda\)-calculus 2023-09-07 Paper On reduction and normalization...10 bytes (16 words) - 03:16, 25 September 2023
- On the semantics of the bad-variable constructor in Algol-like languages 2016-05-03 Paper A graphical foundation for interleaving in game semantics 2014-12-05...10 bytes (17 words) - 05:34, 7 October 2023
- Operational Semantics for an Imperative Language 2013-12-06 Paper From Functional Programs to Interaction Nets via the Rewriting Calculus 2013-12-06 Paper...10 bytes (18 words) - 20:23, 24 September 2023
- An observationally complete program logic for imperative higher-order functions 2013-12-18 Paper A Calculus of Global Interaction based on Session Types...10 bytes (16 words) - 09:49, 7 October 2023
- cryptographic protocols in the spi calculus 2023-05-17 Paper An imperative object calculus 2022-08-18 Paper The Applied Pi Calculus 2018-08-02 Paper Open systems...10 bytes (17 words) - 00:56, 10 December 2023
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language 2011-06-06 Paper https://portal...10 bytes (17 words) - 17:31, 7 December 2023
- Point Techniques in Analog Systems 2017-02-03 Paper Assignment Calculus: A Pure Imperative Language 2015-12-11 Paper Models of computation for partial functions...10 bytes (17 words) - 01:45, 12 December 2023
- COWS 2008-06-19 Paper Basic observables for a calculus for global computing 2007-10-10 Paper A Calculus for Orchestration of Web Services 2007-09-04 Paper...10 bytes (17 words) - 18:04, 9 December 2023
- granularity in implicitly parallel languages 2017-10-23 Paper Dag-calculus: a calculus for parallel computation 2017-05-10 Paper Hierarchical memory management...10 bytes (19 words) - 21:14, 24 September 2023
- structures for the reversible early internal \(\pi\)-calculus 2021-11-24 Paper Event structure semantics of (controlled) reversible CCS 2021-08-03 Paper Event...10 bytes (16 words) - 09:06, 25 September 2023
- Temporary Read-Only Permissions for Separation Logic 2017-05-19 Paper Dag-calculus: a calculus for parallel computation 2017-05-10 Paper Machine-Checked Verification...10 bytes (16 words) - 10:17, 6 October 2023
- service-centred calculus: a foundation for service-oriented programming 2016-08-05 Paper Reversibility in the higher-order \(\pi\)-calculus 2016-04-01 Paper...10 bytes (17 words) - 15:14, 6 October 2023
- Analysis 2023-06-28 Paper Operations on records 2023-04-12 Paper An imperative object calculus 2022-08-18 Paper An extension of system F with subtyping 2022-08-16...10 bytes (17 words) - 21:23, 11 December 2023