Foundational Studies
- 020 Report on a Visit to North America
- 029 Creative Foundations (pres)
- 034 Foundations proposal
- 036 Proof theory in the VDM standard
- 037 A New Axiomatisation of the Theory of Restricted Generality
- 039 Extending T37
- 040 The consistency of T37
- 048 Problems in Logical Foundations for Computer Science
- 053 A combinatory theory of partial functions
- 054 presentation at Cambridge Computer Labs
- 055 Supercombinators in SML
- 056 An sml scanner
- 057 KoKuSai HCI in sml
- 058 An sml parser
- 059 The Calculus of constructions in SML
- 060 translating syntax desriptions
- 061 the syntax of standard ML
- 063 parse trees to abstract syntax
- 064 parse trees to abstract syntax/2
- 065 the abstract syntax of Miranda in Miranda
- 066 the environment of standard ML
- 068 translating sml modules to abstract syntax
- 069 Notes on the VDM type model
- 070 the abstract syntax of VDM in SML
- 071 The Concrete Syntax of VDM
- 072 LPF in SML
- 075 ZF in SML
- 076 Combinatory Type-Theory in HOL
- 077 Presentation to CESG JULY 87
- 080 a PCA for the type of types
- 082 Reflexive Semantic Domains for VDM
- 085 UST in SML
- 087 HST
- 089 BSI VDM Sept Pres
- 093 kentrikos notes
- 094 type model and proof theory
- 095 reflexive foundations
- 096 Keele presentation
- 098 Layering Framework
- 099 The semantics of Xi
- 100 Church's type theory defined in SML
- 107 BSI VDM Dec mins
- 108 Structuring for VDM
- 110 Structured Function Theory in SML
- 112 BSI notes Feb
- 116 UST/2
- 121 BQM types in HOL
- 127 Oxford presentation
- 128 PF in HOL part 2
- 129 PF in HOL part 3
- 130 PF in HOL summary
- 131 Formal Methods (a note)
- 133 category theory (definitions)
- 134 category theory (proofs)
- 135 the category of pure categories
- 136 polymorphic pure functions
- 137 structured polymorphic functions
- 138 zf(part 1) 120 in HOL88 infra
- 139 zf(part 2) 122 in HOL88 infra
- 140 PF(part 1) 123 in HOL88 infra
- 141 PF(part 2) 128 in HOL88 infra
- 142 PF(part 3) 129 in HOL88 infra
- 143 PF(part 4) 130 in HOL88 infra
- 144 function spaces
- 146 VDM modules in SPF
- 147 VDM types in SPF
- 148 proving false in HOL
- 149 BSI VDM88 presentation
- 150 hol in hol
- 151 consolidated theories
- 152 abstract syntax for SPF
- 155 turing machines
- 157 symtab
- 158 reflexive foundations in ZFHOL
- 159 presentation to APRIL 89 compusec meeting
- 163 zf3
- 164 ptroff version of consolidated theories
- 165 category theory
- 169 ICL HOL (for HOL user meeting 89)
- 170 compusec FEB 90
- 171 research proposal (high assurance)
- 172 presentation (high assurance)
- 197 Cambridge (May 14 presentation)
© 
created 1/7/95 modified 22/12/95
