Publications

AuthID
P-004-4Z4

Author(s)

Editor(s)

Miculan, M; Scagnetto, I; Honsell, F

Document Type

Proceedings Paper

Year published

2008

Published

in TYPES FOR PROOFS AND PROGRAMS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 4941, Pages: 85-99 (15)

Conference

International Conference on Types for Proofs and Programs (Types 2007), Date: MAY 02-05, 2007, Location: Cividale del Friuli, ITALY

Indexing

Wos^®

Publication Identifiers

Wos: WOS:000256868300006

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links