Вы здесь

Главная

ламбда-исчисление

Связанные издания:

! = 1 Optimizing Optimal -calculus Implementations
A Calculus of Recursive-Parallel BSP Programs
A -calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure
A confluent reduction for the lambda-calculus with surjective pairing and terminal object
A Congruent Bisimilarity for McCarthy s Amb
Adding Input-Output to PCF
A Formal Approach to the Teaching of Programming Language Concepts
A Framework for Defining Logics
A Fully Abstract Translation between a -calculus with Reference Types and Standard ML
A Functional Theory of Local Names
A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
A Lambda-calculus a la de Bruijn with explicit substitutions
A lambda-calculus for concurrency (abstract/introduction)
A lambda-Calculus for Resource Separation
A Lambda Calculus of Objects with Self-Inflicted Extension
A Lambda-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure
A Lambda Calculus with Letrecs and Barriers
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A List-Oriented Extension of the Lambda-Calculus Satisfying the Church-Rosser Theorem
A Logical View of Assignments
A Mechanisation of Name-carrying Syntax up to Alpha-conversion
A Meta-Language for Typed Object-Oriented Languages
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion
Analysing Resource Use in the -calculus by Type Inference
Analysis and Caching of Dependencies
An Astract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus
An Explicit Eta Rewrite Rule
An Implementation of F<:
An Implementation of F :
A Note on Type Checking Linear Functional Languages
An Overview of LambdaProlog
Application of Typed Lambda Calculi in the Untyped Lambda Calculus
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types
A Proposed Classification of Intelligent Manufacturing Systems Using Consistency Analysis
A Representation Theorem for Lambda Abstraction Algebras
A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics
A Self-interpreter of lambda Calculus Having a Normal Form
A Semantic Characterization of the Well-Typed Formulae of -Calculus
A Simple Calculus of Exception Handling
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
A Simply Typed Context Calculus with First-Class Environments
A Staging Calculus and Its Application to the Verification of Translators
A Subtyping for the Eisher-Honsell-Mitchell Lambda Calculus of Objects
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
A Symmetric Lambda Calculus for "Classical" Program Extraction
A Syntactic Approach to Program Transformations
A Taxonomy of Functional Language Implementations. Part I: Call by Value
A Translator from C to a Lambda-Calculus Representation
A Type-Free Resource-Aware -Calculus