Miller D, Proof Theory and Logic Programming Computation as Proof Search 2025
General:
Name: Miller D, Proof Theory and Logic Programming Computation as Proof Search 2025
Format: pdf
Size: 10.25 MB
Book:
Title: Proof Theory and Logic Programming: Computation as Proof Search
Author: Dale Miller
Language: polski
Year: 2025
Subjects: Computers, Computer Programming, Programming Languages, Other Programming Languages, Programming languages (Computers)
Publisher: Cambridge University Press
ISBN: 9781009561297
Total pages: 335
Description:
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
Download from RapidGator
https://rapidgator.net/file/4bb7cadd54438b6bb11c58d903d2a03b/n6p15x1g0psa99d2zl8d6d.pdf