Search

Your search keyword '"De Marchi, Federico"' showing total 1 results
Start Over Author "De Marchi, Federico" Publication Type eBooks
1 results on '"De Marchi, Federico"'

1. On the Semantics of Coinductive Types in Martin-Löf Type Theory

Author

De Marchi, Federico, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fiadeiro, José Luiz, editor, Harman, Neil, editor, Roggenbach, Markus, editor, and Rutten, Jan, editor

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results