Proof Theory and Logic Programming

Proof Theory and Logic Programming

Forfatter: Dale Miller
Forlag: Cambridge University Press
Utgivelsesår: 2025
ISBN: 9781009561297

Kjøp boken

0

Betal med Klarna
14 dagers angrerett
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

Du vil kanskje også like

Kjøp boken0