A General Storage Theorem for Integers in Call-By-Name Λ-Calculus

Theoretical Computer Science - Netherlands
doi 10.1016/0304-3975(94)90081-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Call by Name, Assignment, and the Lambda Calculus

1993English

Simply Typed Λ-Calculus

1993English

Call-By-Value Is Dual to Call-By-Name – Reloaded

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Non-Deterministic Call-By-Need Lambda Calculus

ACM SIGPLAN Notices
1999English

Effectful Applicative Similarity for Call-By-Name Lambda Calculi

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2020English

A Non-Existence Theorem for ( V, K,λ)-Graphs

Journal of the Australian Mathematical Society
1970English

What's in a Name? That Which We Call a Rose by Any Other Name Would Smell as Sweet

Journal of Thoracic and Cardiovascular Surgery
Respiratory MedicinePulmonaryCardiovascular MedicineSurgeryCardiology
2019English

A General Inversion Theorem for Cointegration

Econometric Reviews
EconomicsEconometrics
2018English

A Call for a General Chemistry Subcommittee

Journal of Chemical Education
ChemistryEducation
1986English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy