Proof Theory and Logic Programming

Proof Theory and Logic Programming

Autore: Dale Miller
Editore: Cambridge University Press
Data di pubblicazione: 2025
ISBN: 9781009561297

Acquista il libro

0

Paga con Klarna
Garanzia di rimborso di 14 giorni
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

Potrebbe interessarti anche

Acquista il libro0