Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexis Saurin
Standardization and Böhm Trees for Λμ-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Böhm, Joseph Edgar Sir, Baronet
Dag-Calculus: A Calculus for Parallel Computation
Progress in Standardization for Lasers and Relevant Technologies. Standardization for Lasers Characteristics.
The Review of Laser Engineering
Combining Situation Calculus and Event Calculus
A Universal Innocent Game Model for the Böhm Tree Lambda Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
International Organization for Standardization
A Calculus for Local Reversibility
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fractional Calculus Model for for Childhood Diseases and Vaccines
Applied Mathematical Sciences
