Types for proofs and programs : international conference, TYPES 2007 : Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : May 2007, Cividale del Friuli, Italy. (Lecture Notes in Computer Science ; 4941)
Types for proofs and programs : international conference, TYPES 2007 : Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : May 2007, Cividale del Friuli, Italy.
Revised selected papers."This workshop is the last of a series of meetings of the TYPES working group funded by the European Union (IST project 29001,...
"This workshop is the last of a series of meetings of the TYPES working group funded by the European Union (IST project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435) ." -- pref.
書誌注記
Includes bibliographical references and author index.