Mathematical logic and computation [E-Book] /
Intelligent Information and Database Systems [E-Book] : 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II /
Table of Contents: ... with the Application of Lambda Calculus -- Structural and Compact Latent Representation Learning on Sparse Reward Environments -- A Survey of Explainable Artificial Intelligence Approaches for Sentiment Analysis -- Social collective model of non-internet social networks...

Full text 
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings /
Table of Contents: ... Representability -- Between Turing and Kleene -- Propositional Dynamic Logic With Quantification Over Regular Computation Sequences -- Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic -- Exact and Parameterized Algorithms for Read...

Full text 
Logic, Language, Information, and Computation [E-Book] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings /
Table of Contents: ... -- Programming logic -- Model checking -- Type theory -- Lambda calculus -- Semantics of programming languages -- Computational linguistics.-Language and computation -- Logic and language....

Full text 
Fundamentals of Logic and Computation [E-Book] : With Practical Automated Reasoning and Verification /
Trends in Functional Programming [E-Book] : 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers /
Table of Contents: ..., translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer....

Full text 
A List of Successes That Can Change the World [E-Book] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
Table of Contents: ... -- Comprehending Ringads -- Dragging Proofs out of Pictures -- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane -- Cutting out Continuations -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than...

Full text 
Programming Languages and Systems [E-Book] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Table of Contents: ... -- Call-by-Push-Value from a Linear Logic point of view -- Visible Type Application -- Automatically Splitting a Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate -- An application of computable distributions...

Full text 
Foundations of Software Science and Computation Structures [E-Book] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Table of Contents: ... and Timed Systems - Trace Refinement in Labelled Markov Decision Processes -- Qualitative Analysis of VASS-Induced MDPs -- Metric Temporal Logic with Counting -- Distributed Synthesis in Continuous Time -- Proof Theory and Lambda Calculus Unary Resolution...

Full text 
Automata, Languages, and Programming [E-Book] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
Table of Contents: ... and Complexity of Minimising Probabilistic Automata -- Kleene Algebra with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus -- On the Positivity Problem for Simple Linear...

Full text 
Theoretical Computer Science [E-Book] : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
Table of Contents: ... of Freivalds’ Algorithm -- Not All Multi-valued Partial CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus -- A Hoare-Like Calculus Using the SROIQσ Logic...

Full text 
Rewriting and Typed Lambda Calculi [E-Book] : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Table of Contents: ... Theory -- Cut Admissibility by Saturation -- Automatic Evaluation of Context-Free Grammars (System Description) -- Tree Automata with Height Constraints between Brothers -- A Coinductive Confluence Proof for Infinitary Lambda-Calculus -- An Implicit...

Full text 
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Table of Contents: ... Language for Proof Strategies -- A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs -- Characterizing Subset Spaces as Bi-topological Structures -- Proof-Pattern Recognition...

Full text 
Lambda calculus with types [E-Book] /
Subject (ZB): ...Lambda calculus....

Full text 
Lectures on the Curry-Howard isomorphism [E-Book] /
Lectures on the Curry-Howard isomorphism / [E-Book]
Comprehensive Mathematics for Computer Scientists 2 [E-Book] : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
Abstract Computing Machines [E-Book] : A Lambda Calculus Perspective /
Zur Pragmatik eines operationalisierten lambda- Kalküls als Basis für interaktive Reduktionssysteme /
Handbook of theoretical computer science vol B: formal models and semantics.