Proof Theory and Logic Programming

Proof Theory and Logic Programming

Forfatter: Dale Miller
Forlag: Cambridge University Press
Udgivelsesdato: 2025
ISBN: 9781009561297

Køb bogen

0

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

Du kan måske også lide

Køb bogen0