[PL-sem-jr] Today @ 12:00pm, Bisimulation and Coinduction WVH 166

Benjamin L Greenman types at ccs.neu.edu
Mon Mar 2 04:08:03 EST 2015

Next message: [PL-sem-jr] First Order Logic, Monday 3/16 12.30 WVH 166
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Weather permitting, we'll meet at noon today to talk about infinity, iPhones, and when to stop caring. We will also explore Agda's coinduction library and see how it compares to tools available in other languages. Notes are online.
http://www.ccs.neu.edu/home/types/resources/notes/coinduction-tutorial/base-case.pdf

Next message: [PL-sem-jr] First Order Logic, Monday 3/16 12.30 WVH 166
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list