Healfdene Goguen

MaRDI QIDQ1401949zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The metatheory of UTT Lecture Notes in Computer Science	2023-12-08	Paper
Relating Church-style and Curry-style subtyping	2021-03-03	Paper
Relating Church-style and Curry-style subtyping (available as arXiv preprint)	2021-03-03	Paper
A syntactic approach to eta equality in type theory Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-07-14	Paper
Eliminating Dependent Pattern Matching Algebra, Meaning, and Computation	2007-09-07	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
Anti-symmetry of higher-order subtyping and equality by subtyping Mathematical Structures in Computer Science	2006-05-22	Paper
Foundations of Software Science and Computational Structures Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 2185661 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2085170 (Why is no real title available?)	2004-08-09	Paper
Typed operational semantics for higher-order subtyping. Information and Computation	2003-08-19	Paper
scientific article; zbMATH DE number 1696614 (Why is no real title available?)	2002-07-22	Paper
Sequent combinators: a Hilbert system for the lambda calculus Mathematical Structures in Computer Science	2001-03-22	Paper
scientific article; zbMATH DE number 1424051 (Why is no real title available?)	2000-06-07	Paper
scientific article; zbMATH DE number 1342280 (Why is no real title available?)	2000-02-28	Paper

Research outcomes over time

This page was built for person: Healfdene Goguen