bokomslag Lectures on Linear Logic
Vetenskap & teknik

Lectures on Linear Logic

Anne Sjerp Troelstra

Pocket

409:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 11-21 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 215 sidor
  • 1992
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
  • Författare: Anne Sjerp Troelstra
  • Format: Pocket/Paperback
  • ISBN: 9780937073773
  • Språk: Engelska
  • Antal sidor: 215
  • Utgivningsdatum: 1992-05-01
  • Förlag: The Center for the Study of Language and Information Publications