Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
Articole: 3
-
{Previously: Part 0} What I'm calling structural normalization -- a normalization procedure for simply-typed lambda calculus derived from concepts from structural proof theory -- can be achieved as a round trip with four stops.
-
In 1935, Gentzen [1] introduced natural deduction as a system of formal logic and wanted to prove it sound.
-
[Based on conversations with Rob Simmons.