scientific article; zbMATH DE number 5852776
From MaRDI portal
Publication:3077958
Recommendations
- The lambda calculus. Its syntax and semantics. Rev. ed.
- scientific article; zbMATH DE number 4002064
- scientific article; zbMATH DE number 783760
- scientific article; zbMATH DE number 5318491
- scientific article; zbMATH DE number 2242116
- scientific article; zbMATH DE number 3875232
- scientific article; zbMATH DE number 4024773
- scientific article; zbMATH DE number 46869
- scientific article; zbMATH DE number 42059
- The Impact of the Lambda Calculus in Logic and Computer Science
Cited in
(65)- Types and programing languages
- Structural rules and algebraic properties of intersection types
- Soundness conditions for big-step semantics
- When programs have to watch paint dry
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- A type assignment for -calculus complete both for FPTIME and strong normalization
- scientific article; zbMATH DE number 5318491 (Why is no real title available?)
- scientific article; zbMATH DE number 7559294 (Why is no real title available?)
- Clocks for Functional Programs
- A Computable Solution to Partee’s Temperature Puzzle
- Extensional higher-order paramodulation in Leo-III
- How to think of intersection types as Cartesian products
- Strong normalization through intersection types and memory
- The spirit of node replication
- Semantics of quantum programming languages: Classical control, quantum control
- Efficient type checking for path polymorphism
- Metric reasoning about \(\lambda\)-terms: the general case
- scientific article; zbMATH DE number 7029315 (Why is no real title available?)
- scientific article; zbMATH DE number 7243677 (Why is no real title available?)
- Almost all Classical Theorems are Intuitionistic
- A coalgebraic view of bar recursion and bar induction
- From realizability to induction via dependent intersection
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- Nominal essential intersection types
- scientific article; zbMATH DE number 7204434 (Why is no real title available?)
- Combinatory logic with polymorphic types
- Typed path polymorphism
- De Bruijn's weak diamond property revisited
- Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
- One or nothing: anti-unification over the simply-typed lambda calculus
- Parametric Church's thesis: synthetic computability without choice
- The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them
- On some enumerative problems in lambda calculus
- Node Replication: Theory And Practice
- scientific article; zbMATH DE number 7226008 (Why is no real title available?)
- COCHIS: stable and coherent implicits
- Lower end of the linial-post spectrum
- On sets of terms having a given intersection type
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- A Generic Framework for Higher-Order Generalizations.
- On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem
- Composition and decomposition of multiparty sessions
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- scientific article; zbMATH DE number 4058907 (Why is no real title available?)
- Fixed points in lambda calculus. an eccentric survey of problems and solutions
- Linear additives
- Type inference for rank-2 intersection types using set unification
- Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
- Levy labels and recursive types
- Automating free logic in HOL, with an experimental application in category theory
- Rensets and renaming-based recursion for syntax with bindings extended version
- Strong typed Böhm theorem and functional completeness on the linear lambda calculus
- Relational graph models at work
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- A coinductive approach to proof search through typed lambda-calculi
- A type-based HFL model checking algorithm
- Monotone recursive types and recursive data representations in Cedille
- Canonicity of proofs in constructive modal logic
- Agent-based HOL reasoning
- The Cooper storage idiom
- scientific article; zbMATH DE number 7756108 (Why is no real title available?)
- Type theory and formal proof. An introduction
- scientific article; zbMATH DE number 177773 (Why is no real title available?)
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- A characterization of lambda-terms transforming numerals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3077958)
