[PL-sem-jr] First Order Logic, Monday 3/16 12.30 WVH 166

Konstantinos A. Athanasiou konathan at ccs.neu.edu
Mon Mar 16 10:27:15 EDT 2015

Previous message: [PL-sem-jr] Today @ 12:00pm, Bisimulation and Coinduction WVH 166
Next message: [PL-sem-jr] System F and Parametricity (3/22 12:30-2p WVH 166)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This talk will discuss completeness of First Order Logic. To do so, the
semantics of First Order Logic and a deductive system will be introduced.
-------------- next part --------------
HTML attachment scrubbed and removed

Previous message: [PL-sem-jr] Today @ 12:00pm, Bisimulation and Coinduction WVH 166
Next message: [PL-sem-jr] System F and Parametricity (3/22 12:30-2p WVH 166)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list