Browsing by Author Dawson, Jeremy
Showing results 4 to 19 of 19
Compound monads in specification languages
Author(s) | Dawson, Jeremy |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | October 5 2007 |
Embedding Display Calculi into Logical Frameworks
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2000 |
Date Created | March 2 2000 |
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2001 |
Date Created | January 29 2001 |
Formalised cut admissibility for display logic
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | August 20 2002 |
Formalising general correctness
Author(s) | Dawson, Jeremy |
---|---|
Type | Journal article |
Date Published | 2004 |
Date Created | - |
Formalising generalised substitutions
Author(s) | Dawson, Jeremy |
---|---|
Type | Book chapter |
Date Published | 2007 |
Date Created | - |
Formalising Observer Theory for Environment-Sensitive Bisimulation
Author(s) | Dawson, Jeremy; Tiu, Alwen |
---|---|
Type | Book chapter |
Date Published | 2009 |
Date Created | - |
From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic
Author(s) | Dawson, Jeremy; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | September 1-3 2014 |
Generic Methods for formalising sequent Calculi Applied to provability logic
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | October 10 2010 |
Isabelle theories for machine words
Author(s) | Dawson, Jeremy |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
Machine-checked reasoning about complex voting schemes using higher-order logic
Author(s) | Dawson, Jeremy; Gore, Rajeev; Meumann, Tom |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | September 2-4, 2015 |
Machine-checking the timed interval calculus
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | December 2 2002 |
Mechanising cut-elimination for display logic
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Working/Technical Paper |
Date Published | 2001 |
Date Created | 2001 |
Privacy and Access to information
Author(s) | Mize, Selene; Dawson, Jeremy; Peart, Nicola |
---|---|
Type | Book chapter |
Date Published | 2003 |
Date Created | - |
Termination of abstract reduction systems
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
Termination of abstract reduction systems
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | January 30-February 2 2007 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator