Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
Kategori: Datavetenskap & Programmering
e-ISBN: 9781009561310
Betala smidigt med kort, Klarna, Apple Pay eller Google Pay. Är du inte nöjd har du alltid 14 dagars ångerrätt. Läs mer i våra villkor. Har du några frågor, mejla oss på hello@memmo.org.
Memmo gör det enklare att plugga – var du än är i världen. Hos oss samlar du kursböcker och smarta studieverktyg på ett och samma ställe: sammanfattningar, quiz, poddar och flashcards. Och så Ted, din studiekompis som svarar på allt du undrar. Över 75 000 studenter pluggar redan här – byggt för att du ska lära dig snabbare och stressa mindre.