Healfdene Goguen

From MaRDI portal
Person:1401949

Available identifiers

zbMath Open goguen.healfdeneMaRDI QIDQ1401949

List of research outcomes





PublicationDate of PublicationType
The metatheory of UTT2023-12-08Paper
https://portal.mardi4nfdi.de/entity/Q49646882021-03-03Paper
A syntactic approach to eta equality in type theory2017-07-14Paper
Eliminating Dependent Pattern Matching2007-09-07Paper
Types for Proofs and Programs2006-11-13Paper
Anti-symmetry of higher-order subtyping and equality by subtyping2006-05-22Paper
Foundations of Software Science and Computational Structures2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q30248352005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q47363932004-08-09Paper
Typed operational semantics for higher-order subtyping.2003-08-19Paper
https://portal.mardi4nfdi.de/entity/Q27668062002-07-22Paper
Sequent combinators: a Hilbert system for the lambda calculus2001-03-22Paper
https://portal.mardi4nfdi.de/entity/Q49452422000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q42638702000-02-28Paper

Research outcomes over time

This page was built for person: Healfdene Goguen

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