Higher-order unification via combinatorsDaniel J. Dougherty · 1993

Normal forms for binary relationsDaniel J. Dougherty; Claudio Gutiérrez · 2006

An improved general E-unification methodDaniel J. Dougherty; Patricia Johann · 1992

Intersection and Union Types in the -calculusDaniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne · 2005

Adding algebraic rewriting to the untyped lambda calculusDaniel J. Dougherty · 1992

Equality between Functionals in the Presence of CoproductsDaniel J. Dougherty; Ramesh Subrahmanyam · 2000

Fluorescence Bronchoscopy for Detection of Lung CancerDoiron, Daniel R.; Profio, Edward; Vincent, Ronald G.; Dougherty, Thomas J. · Chest · 1979

Simplicial radditive functorsVoevodsky, Vladimir · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010

PrefaceGuo, Xuejun; Qin, Hourong; Tang, Guoping · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013

Comparing homotopy categoriesBlanc, David · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2008

ForewordBak, Anthony; Rosenberg, Jonathan; Weibel, Chuck · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010

Quillen model categoriesHovey, Mark · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013

PrefaceFriedlander, Eric M.; Østvær, Paul Arne; Quick, Gereon · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2011

Cyclic Cohomology of CoringsRangipour, Bahram · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2009

Representability of derived stacksPridham, J.P. · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2012