Douglas J. Howe

From MaRDI portal
Person:1917067

Available identifiers

zbMath Open howe.douglas-jMaRDI QIDQ1917067

List of research outcomes





PublicationDate of PublicationType
Importing mathematics from HOL into Nuprl2024-07-05Paper
Some normalization properties of martin-löf's type theory, and applications2022-08-16Paper
Tactic theorem proving with refinement-tree proofs and metavariables2020-01-21Paper
Hybrid interactive theorem proving using nuprl and HOL2019-10-01Paper
Implementing constructive real analysis (preliminary report)2017-11-17Paper
Higher-order abstract syntax in Isabelle/HOL2010-09-14Paper
Toward sharing libraries of mathematics between theorem provers2002-08-05Paper
https://portal.mardi4nfdi.de/entity/Q44907192000-07-20Paper
https://portal.mardi4nfdi.de/entity/Q42470771999-09-15Paper
https://portal.mardi4nfdi.de/entity/Q43756331998-02-08Paper
Proving congruence of bisimulation in functional programming languages1996-07-03Paper
https://portal.mardi4nfdi.de/entity/Q31388331995-03-20Paper
https://portal.mardi4nfdi.de/entity/Q34843811990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32040551989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37895251988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37501361986-01-01Paper
Module categories over topoi1981-01-01Paper

Research outcomes over time

This page was built for person: Douglas J. Howe

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1917067&oldid=11067170"
Powered by MediaWiki