output
20022009
most citedThe SCUBA HAlf Degree Extragalactic Survey (SHADES) - III. Identification of radio and mid-infrared counterparts to submillimetre galaxies

317 citations

researchers with a paper here
collaborating institutions
Showing 2004Show all

3 papers · 1 filter

math.AT2004

A model structure a la Thomason on 2-Cat

K. Worytkiewicz, K. Hess, P. E. Parent +1

We exhibit a model structure on 2-Cat, obtained by transfer from sSet across the adjunction C_2 o Sd^2 -| Ex^2 o N_2.

math.CT2004

Operads within monoidal pseudo algebras

Mark Weber

A general notion of operad is given, which includes as instances, the operads originally conceived to study loop spaces, as well as the higher operads that arise in the globular ap…

cs.LO2004

Polymorphic lemmas and definitions in Lambda Prolog and Twelf

Andrew W. Appel, Amy P. Felty

Lambda Prolog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and definitions in such logics can be implemented with a…