Standardization and Böhm Trees for Λμ-Calculus

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-12251-4_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Böhm, Joseph Edgar Sir, Baronet

English

Dag-Calculus: A Calculus for Parallel Computation

2016English

Progress in Standardization for Lasers and Relevant Technologies. Standardization for Lasers Characteristics.

The Review of Laser Engineering
2001English

Combining Situation Calculus and Event Calculus

1995English

A Universal Innocent Game Model for the Böhm Tree Lambda Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

International Organization for Standardization

English

A Calculus for Local Reversibility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Fractional Calculus Model for for Childhood Diseases and Vaccines

Applied Mathematical Sciences
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy