Results for: "

Franco+Mondini-Ruiz

" in Documents
 More results for "Franco+Mon..." in  VIDEOS DOCUMENTS AUDIOS GROUPS STAGES/PROFILES ALL
  • mp3
  • mp3
  • mp3
  • mp3
  • mp3
  • mp3
  • mp3
  • Intersection Types and Computational Rules 2003
  • The invariance of the meaning of a #-term by reduction/expansion w.r.t. the considered computational rules is one of the minimal requirements one expects to hold for a #-model. Being the intersection ...
  • Rating:   1 Star      Views: (1017)     Pages: ()     Uploaded: 15-05-09
  •  
  • mp3


























 

Powered free by PHPmotion