Dipartimento di Matematica e Informatica
Università degli Studi di Palermo
via Archirafi 34
90123 Palermo
ITALY
E-mail: ngambino AT math DOT unipa DOT it
Phone: +39 091 238 91 048
Fax: +39 091 238 91 024
| Contact details Dipartimento di Matematica e Informatica Università degli Studi di Palermo via Archirafi 34 90123 Palermo ITALY E-mail: ngambino AT math DOT unipa DOT it Phone: +39 091 238 91 048 Fax: +39 091 238 91 024 |
|
|
| 7/2/2012 |
The workshop Higher-dimensional
algebra, categories and types will be held in
Ljubljana (Slovenia) on June 20th, 2012, immediately after
the Fourth Workshop on
Formal Topology. |
| 21/1/2012 |
The paper Inductive types in homotopy
type theory, written with S. Awodey and K.
Sojakova, is available on the ArXiv. The Coq
files with the formalization of its main results are
available from Github.
A summary of its contents is available from the Homotopy
Type Theory blog. Comments are welcome! |
| 16/1/2012 |
A new version of Double adjunctions and free monads, written with Thomas M. Fiore and Joachim Kock, is available on the ArXiv. The paper has now been accepted for publication in Cahiers. |