Semantics: Lambda Calculus and Types

Type Theory in Computer Science, Linguistics, LogicПодробнее

Cse 340 s16 3 18 16 semantics pt 10 and types pt 1Подробнее

Programming with Math | The Lambda CalculusПодробнее

[OOPSLA23] Resource-Aware Soundness for Big-Step SemanticsПодробнее

Senantics. Quantifier Raising with Lambda CalculusПодробнее

Semantics: Predicate Modification with Lambda CalculusПодробнее

Semantics: Intersective Adjectives with Type ShiftingПодробнее

Semantics: Quantificational Determiners with Lambda CalculusПодробнее

Semantics: Quantificational Pronouns with Lambda CalculusПодробнее

Semantics: Conjunctions with Lambda CalculusПодробнее

Semantics: The Copula with Lambda CalculusПодробнее

Semantics: Declarative Sentences with Lambda CalculusПодробнее

PLVM Meeting: Types and Programming Languages Chapter 3 and Chapter 4 [2023/07/18]Подробнее

Stephen Mell: Linear Logic is a Language for Structured DataПодробнее

The lambda calculus and basic type checkingПодробнее

Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.Подробнее

Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda CalculiПодробнее

Sequents, semantics, and inductive types in Lean.Подробнее

CS6225 Programs and Proofs 29 Lambda CalculusПодробнее