Results for: "

Simone+Martini

" in Documents
 More results for "Simone+Mar..." in  VIDEOS DOCUMENTS AUDIOS GROUPS STAGES/PROFILES ALL
  • mp3
  • mp3
  • On Interval Homogeneous Orthomodular Lattices 0 2 citations ? 1 self
  • An orthomodular lattice L is said to be interval homogeneous (resp. centrally interval homogeneous) if it is oe-complete and satisfies the following property: Whenever L is isomorphic to an interval, ...
  • Rating:   1 Star      Views: (1005)     Pages: ()     Uploaded: 13-05-09
  •  
  • mp3
  • mp3
  • mp3
  • An extension of system F with subtyping 1991
  • System F is a well-known typed l-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F , called F <: (pronounced ef-sub) that combin...
  • Rating:   1 Star      Views: (1009)     Pages: ()     Uploaded: 13-05-09
  •  
  • mp3
  • mp3
  • mp3


























 

Powered free by PHPmotion