Sense, denotation and semantics; natural deduction; the Curry-Howard isomorphism; the normalisation theorem; Godel's system T; coherence spaces; denotational semantics of T; sums in natural deduction; system F; coherence semantics of the sum; cut elimination (Hauptsatz); strong normalisation for F; representation theorem; semantics of System F; what is linear logic?
Ask a Question About this Product More... |