[PL-sem-jr] Dependent types and theorem proving - today at 12:00 - WVH 166

Andrew Cobb andrew.cobb at gmail.com
Mon Apr 20 07:35:47 EDT 2015

Previous message: [PL-sem-jr] The syntax, semantics, and pragmatics of units (4/13, WVH 166, 12:30)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Since iPPL is overlapping the normal time slot, let's meet at 12:00.

Today's topic will be dependent types and theorem proving.

-- 
   Andrew

Previous message: [PL-sem-jr] The syntax, semantics, and pragmatics of units (4/13, WVH 166, 12:30)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list