Daniel J. Dougherty

Available identifiers

zbMath Open dougherty.daniel-jMaRDI QIDQ673969

List of research outcomes

Publication	Date of Publication	Type
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA	2023-06-28	Paper
An improved general E-unification method	2023-04-28	Paper
Some lambda calculi with categorical sums and products	2022-12-09	Paper
Adding algebraic rewriting to the untyped lambda calculus (extended abstract)	2022-12-09	Paper
Some independence results for equational unification	2022-12-09	Paper
A Realizability Interpretation for Intersection and Union Types	2016-12-21	Paper
Exploring Theories with a Model-Finding Assistant	2015-12-02	Paper
Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus	2013-10-02	Paper
Logic and Computation in a Lambda Calculus with Intersection and Union Types	2011-01-07	Paper
The complexity of the certification of properties of stable marriage	2009-08-27	Paper
Specifying and Reasoning About Dynamic Access-Control Policies	2009-03-12	Paper
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage	2008-06-24	Paper
Strong Normalization of the Dual Classical Sequent Calculus	2008-05-27	Paper
Normal forms for binary relations	2006-09-14	Paper
Addressed term rewriting systems: application to a typed object calculus	2006-08-28	Paper
Equality between functionals in the presence of coproducts	2003-01-14	Paper
Equational unification, word unification, and 2nd-order equational unification	1998-08-13	Paper
A combinatory logic approach to higher-order E-unification	1997-02-28	Paper
Closed categories and categorial grammar	1994-06-14	Paper
Higher-order unification via combinators	1993-09-02	Paper
Adding algebraic rewriting to the untyped lambda calculus	1993-05-16	Paper
An improved general \(E\)-unification method	1993-01-17	Paper
A strong Baire category theorem for products	1992-06-25	Paper
Decomposition theorems for measures	1987-01-01	Paper
Decomposition of infinite matrices	1987-01-01	Paper
Gentzen systems, resolution, and literal trees	1986-01-01	Paper

Research outcomes over time

This page was built for person: Daniel J. Dougherty