Thomas G. Powell

From MaRDI portal
Person:3662256

Available identifiers

zbMath Open powell.thomas-gMaRDI QIDQ3662256

List of research outcomes





PublicationDate of PublicationType
A unifying framework for continuity and complexity in higher types2019-06-25Paper
https://portal.mardi4nfdi.de/entity/Q39527791982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36622571982-01-01Paper
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative languageN/APaper

Research outcomes over time

This page was built for person: Thomas G. Powell

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