Вы здесь

Главная

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

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

The -calculus
The Disjunctive Constrained Lambda Calculus
The Family Relation in Interaction Systems
The Girard Translation Extended with Recursion
The Lambda-Calculus with Multiplicities
The Logic of the Partial lambda-Calculus with Equality
The Longest Perpetual Reductions in Orthogonal Expression Reduction Systtems
The Origins of l-Calculus and Term Rewriting Systems
The Revised Report on the Syntactic Theories of Sequential Control and State
The Typed Polymorphic Label-Selective -Calculus
Third-Order Matching in the Presence of Type Constructors
Thunks (continued)
Towards a Domain Theory for Termination Proofs
Towards Machine-checked Compiler Correctness for Higher-order Pure Functional Languages
Trends in Functional Programming: Revised Selected Papers/13th International Symposium, TFP 2012, St.Andrews, UK, June 2012
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018
Trust in the lambda-Calculus
Typed -calculus with Explicit Substitutions May not Terminate
Typed -calculus with Recursive Definitions
Typed Lambda Calculi and Applications: Proc./4th Intern. Conf., TLCA 99. L Aquila, Italy, April 1999
Typed Lambda Calculi and Applications: Proc./5th Intern. Conf., TLCA 2001, Krakow, Poland, May 2001
Typed Lambda Calculi and Applications: Proc./ 6th Intern. Conf., TLCA 2003, Valencia, Spain, June 2003
Typed Lambda Calculi and Applications: Proc./7th International Conference, TLCA 2005. Nara, Japan, April 2005
Typed Lambda Calculi and Applications: Proc./8th International Conference, TLCA 2007. Paris, France, June 2007
Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009
Typed Lambda Calculi and Applications: Proc./Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 93. March 1993, Utrecht, The Netherlands
Typed Lambda Calculi and Applications: Proc./Second Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 95. Edinburgh, United Kingdom, April 1995
Typed Lambda Calculi and Applications: Proc./Third Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 97. Nancy, France, April 1997
Typed Operational Semantics
Type Inference with Polymorphic Recursion
Type Specialisation for the Lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference
Unification in a Lambda-Calculus with Intersection Types
Unification in a Sorted -Calculus with Term Declarations and Function Sorts
Unified Semantics for Modality and Lambda-terms via Proof Polinomials
Unlimp Uniqueness as a Leitmotiv for Implementation
Untyped -calculus with Relative Typing
Usability: formalising (un)definedness in typed lambda calculus
Usage Analysis with Natural Reduction Types
Using Subtyping in Program Optimization
What we Learn from Formal Checking. Part III. Formalization is Not Just Filling In Details
Математическая логика в программировании. Сборник статей
Об основной семантике бестиповых функциональных программ
Погружение модального лямбда-исчисления в логику доказательств
Функциональные и логические языки программирования (формализация, анализ, интерпретация)