Semantic Domain
Wednesday, July 9, 2014
Two Drafts on Dependent Types
›
I have two new draft papers to publicize. The first is a paper with Pierre Pradic and Nick Benton: Integrating Linear and Depend...
2 comments:
Tuesday, July 1, 2014
PhD opportunities at the University of Birmingham
›
My university, the University of Birmingham , is looking for applicants to the CS PhD program. I'm putting our advertisement on my blog,...
Thursday, June 19, 2014
Gödel's Ontological Argument
›
\[\newcommand{\Good}{\mathrm{Good}} \newcommand{\Godlike}{\mathrm{Godlike}} \newcommand{\EssenceOf}{\mathrm{EssenceOf}} \newcommand{\Essen...
3 comments:
Wednesday, June 11, 2014
From DPLL(T) to Sequent Calculus
›
While I was at MPI-SWS , I overlapped there with Ruzica Piskac , who has done a lot of work on decision procedures and other kinds of mod...
1 comment:
Monday, March 24, 2014
Papers I'm reading
›
Here is an incomplete selection of some good papers I'm currently reading: Constructing Type Systems over an Operational Semantics , R...
Friday, March 7, 2014
2014 Midlands Graduate School
›
The 2014 Midlands Graduate School is coming up. Please attend, or send your students! University of Nottingham, 22-26 April 2014 The M...
Monday, February 3, 2014
Retiring a joke
›
I just saw that Andy Pitts has a new draft out, An Equivalent Presentation of the Bezem-Coquand-Huber Category of Cubical Sets , with the ...
‹
›
Home
View web version