Douglas J. Howe

Available identifiers

zbMath Open howe.douglas-jMaRDI QIDQ1917067

List of research outcomes

Publication	Date of Publication	Type
Some normalization properties of martin-löf's type theory, and applications	2022-08-16	Paper
Tactic theorem proving with refinement-tree proofs and metavariables	2020-01-21	Paper
Hybrid interactive theorem proving using nuprl and HOL	2019-10-01	Paper
Implementing constructive real analysis (preliminary report)	2017-11-17	Paper
Higher-Order Abstract Syntax in Isabelle/HOL	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q2782486	2002-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4490719	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4247077	1999-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4375633	1998-02-08	Paper
Proving congruence of bisimulation in functional programming languages	1996-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q3138833	1995-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q3484381	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204055	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789525	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750136	1986-01-01	Paper
Module categories over topoi	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Douglas J. Howe