scientific article

zbMATH Open0609.68059MaRDI QIDQ3750136FDOQ3750136

Douglas J. Howe

Publication date: 1986

Title of this publication is not available (Why is that?)

zbMATH Keywords

formal reasoningproof constructionNuprl proof development systemreasoning about computationally meaningful mathematics

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04) Software, source code, etc. for problems pertaining to number theory (11-04)

Cited In (3)

• Exploring abstract algebra in constructive type theory
• Type theory and concurrency
• Title not available (Why is that?)

Uses Software

• Nuprl

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750136)