Proof Theory and Logic Programming

Proof Theory and Logic Programming

Auteur: Dale Miller
Uitgever: Cambridge University Press
Publicatiedatum: 2025
ISBN: 9781009561297

Koop het boek

0

Betaal met Klarna
14 dagen bedenktijd
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

Misschien vind je dit ook leuk

Koop het boek0