log in
Jim's
Tutorials
Fall 2019
course
home
Alex
Nick
Sarah
site
about
help
..
.
Sarah - computational logic
resources
Computational interpretations of linear logic" (Abramsky, 1993)
Practical Foundations for Programming Languages, Robert Halper |
twelf
Software Foundations
, Pierce et all, UPenn, (Coq)
workshops
people
background
diary
Sep 17
Sep 24
Oct 1
Oct 8
Oct 15
Nov 5
Nov 12
Nov 19
Nov 26
Dec 3
Dec 10
folders
protected
https://cs.marlboro.college
/cours
/fall2019
/jims_tutorials
/sarahr
/home
last modified Sun October 13 2024 9:48 am