Jason Hickey

From MaRDI portal
Person:853739

Available identifiers

zbMath Open hickey.jason-jMaRDI QIDQ853739

List of research outcomes





PublicationDate of PublicationType
Learning data-driven discretizations for partial differential equations2020-03-04Paper
Nuprl-Light: An implementation framework for higher-order logics2019-10-01Paper
Practical reflection for sequent logics2014-01-10Paper
Distributed speculative execution for reliability and fault tolerance: an operational semantics2013-06-28Paper
Formal compiler construction in a logical framework2006-11-17Paper
Theorem Proving in Higher Order Logics2005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44472292004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q44843462003-06-12Paper
Nuprl's class theory and its applications2002-10-23Paper
https://portal.mardi4nfdi.de/entity/Q27540472001-11-11Paper

Research outcomes over time

This page was built for person: Jason Hickey

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