Healfdene Goguen

Available identifiers

zbMath Open goguen.healfdeneMaRDI QIDQ1401949

List of research outcomes

Publication	Date of Publication	Type
The metatheory of UTT	2023-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4964688	2021-03-03	Paper
A syntactic approach to eta equality in type theory	2017-07-14	Paper
Eliminating Dependent Pattern Matching	2007-09-07	Paper
Types for Proofs and Programs	2006-11-13	Paper
Anti-symmetry of higher-order subtyping and equality by subtyping	2006-05-22	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3024835	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4736393	2004-08-09	Paper
Typed operational semantics for higher-order subtyping.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2766806	2002-07-22	Paper
Sequent combinators: a Hilbert system for the lambda calculus	2001-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4945242	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4263870	2000-02-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Healfdene Goguen