+1

trees/dt/dt-0005.tree

reviewed

··· 1 1 \import{dt-macros} 2 2 + \parent{dt-001Y} 2 3 \title{Semantics and recursion} 3 4 \taxon{Lecture} 4 5 \author{liamoc}

+1

trees/dt/dt-001Z.tree

reviewed

··· 1 1 \import{dt-macros} 2 2 + \parent{dt-001Y} 2 3 \import{table-macros} 3 4 \taxon{Lecture} 4 5 \title{Constructions on [cpos](dt-001D) and PCF}

+1

trees/dt/dt-004Z.tree

reviewed

··· 1 1 \taxon{Lecture} 2 2 + \parent{dt-001Y} 2 3 \author{liamoc} 3 4 \title{Recursively defined domains and #{\lambda}-calculus} 4 5 \p{This lecture is based on material from [[haskellhutt]], [[jlongley]], [[danascott]], [[jstoy]], [[cgunter]], and [[gwinskel]].}

+1

trees/dt/dt-005V.tree

reviewed

··· 1 1 \import{dt-macros} 2 2 \taxon{Lecture} 3 3 + \parent{dt-001Y} 3 4 \author{liamoc} 4 5 \title{Monadic semantics, Scott domains and nondeterminism} 5 6 \p{This lecture is based on material from [[cgunter]], [[gwinskel]], [[haskellhutt]], [[kaie]], [[dexterkozen]], [[andrewmyers]], [[jlongley]], [[danascott]], and [[jstoy]].}