Douglas J. Howe

MaRDI QIDQ1917067zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Importing mathematics from HOL into Nuprl	2024-07-05	Paper
Some normalization properties of Martin-Löf's type theory, and applications Lecture Notes in Computer Science	2022-08-16	Paper
Tactic theorem proving with refinement-tree proofs and metavariables Automated Deduction — CADE-12	2020-01-21	Paper
Hybrid interactive theorem proving using Nuprl and HOL Automated Deduction—CADE-14	2019-10-01	Paper
Implementing constructive real analysis (preliminary report) Lecture Notes in Computer Science	2017-11-17	Paper
Higher-order abstract syntax in Isabelle/HOL Interactive Theorem Proving	2010-09-14	Paper
Toward sharing libraries of mathematics between theorem provers	2002-08-05	Paper
scientific article; zbMATH DE number 1479608 (Why is no real title available?)	2000-07-20	Paper
scientific article; zbMATH DE number 1301854 (Why is no real title available?)	1999-09-15	Paper
scientific article; zbMATH DE number 1113859 (Why is no real title available?)	1998-02-08	Paper
Proving congruence of bisimulation in functional programming languages Information and Computation	1996-07-03	Paper
scientific article; zbMATH DE number 432706 (Why is no real title available?)	1995-03-20	Paper
scientific article; zbMATH DE number 4155932 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4180818 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4053566 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3986665 (Why is no real title available?)	1986-01-01	Paper
Module categories over topoi Journal of Pure and Applied Algebra	1981-01-01	Paper

Research outcomes over time

This page was built for person: Douglas J. Howe