BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × France
1 × Italy
1 × Spain
1 × The Netherlands
4 × USA
Collaborated with:
A.P.Felty A.Roychoudhury F.A.Stomp S.F.Allen R.L.Constable W.E.Aitken
Talks about:
comput (4) nuprl (4) theorem (3) theori (3) prove (3) use (3) metatheori (2) interact (2) system (2) proof (2)

Person: Douglas J. Howe

DBLP DBLP: Howe:Douglas_J=

Contributed to:

CADE 19991999
CSL 19991999
CAV 19981998
CADE 19971997
CADE 19941994
LICS 19911991
LICS 19901990
LICS 19891989
CADE 19881988
LICS 19871987
CADE 19861986

Wrote 11 papers:

CADE-1999-FeltyHR #abstraction #syntax #using
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (APF, DJH, AR), pp. 237–251.
CSL-1999-Howe #interactive #proving #theorem proving #type system #using
Interactive Theorem Proving Using Type Theory (DJH), p. 578.
CAV-1998-FeltyHS #protocol #verification
Protocol Verification in Nuprl (APF, DJH, FAS), pp. 428–439.
CADE-1997-FeltyH #hybrid #interactive #proving #theorem proving #using
Hybrid Interactive Theorem Proving Using Nuprl and HOL (APF, DJH), pp. 351–365.
CADE-1994-FeltyH #proving #theorem proving
Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables (APF, DJH), pp. 605–619.
LICS-1991-Howe #on the #type system
On Computational Open-Endedness in Martin-Löf’s Type Theory (DJH), pp. 162–172.
LICS-1990-AllenCHA #proving #semantics
The Semantics of Reflected Proof (SFA, RLC, DJH, WEA), pp. 95–105.
LICS-1989-Howe #lazy evaluation #similarity
Equality In Lazy Computation Systems (DJH), pp. 198–203.
Computational Metatheory in Nuprl (DJH), pp. 238–257.
LICS-1987-Howe #behaviour
The Computational Behaviour of Girard’s Paradox (DJH), pp. 205–214.
CADE-1986-Howe #empirical #implementation
Implementing Number Theory: An Experiment with Nuprl (DJH), pp. 404–415.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.