Personal tools
You are here: Home / Internal / RISC Forum / 2016 / Risc Colloquium

Risc Colloquium

Prof. Masahiko Sato: Proof theory of the lambda calculus
When Oct 17, 2016
from 01:30 PM to 02:30 PM
Where Seminar room castle
Add event to calendar vCal
iCal

We develop a proof theory of the lambda calculus where we study the set of closed lambda terms by inductively defining the set as a free algebra.

The novelty of the approach is that we construct and study lambda calculus without using the notions of variables and alpha-equivalence. In this approach we can study lambda terms as combinators and can have a clean proof of the Church-Rosser Theorem in the Minlog proof assistant.

« May 2025 »
May
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
Upcoming Events
RISC Forum May 12, 2025 01:30 PM - 02:30 PM
RISC Forum May 19, 2025 01:30 PM - 02:30 PM
RISC Forum May 26, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 02, 2025 01:30 PM - 01:45 PM
NO RISC Forum Jun 09, 2025 01:30 PM - 01:45 PM
Previous events…
Upcoming events…