Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Telford, Alastair and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Telford, Alastair (1995) Static Analysis of Martin-L''of's Intuitionistic Type Theory. Doctor of Philosophy (PhD) thesis, The Computing Laboratory, University of Kent at Canterbury. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Fri Jul 18 11:01:42 2014 BST.