Full text 

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 

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 

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 

Full text 

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 

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 

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 

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 

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 

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 

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 

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 

Subject (ZB): “...Lambda calculus....”

Full text 

Subject (ZB): “...Lambda calculus....”

Full text 

Subject (ZB): “...Lambda calculus....”

Full text 

Full text 

Full text