Sciweavers

31686 search results - page 182 / 6338
» Resource typing in Guru
Sort
View
IGPL
2010
82views more  IGPL 2010»
14 years 11 months ago
Multimodal and intuitionistic logics in simple type theory
Christoph Benzmüller, Lawrence C. Paulson
ISCI
2010
102views more  ISCI 2010»
14 years 11 months ago
An inequality related to Minkowski type for Sugeno integrals
Yao Ouyang, Radko Mesiar, Hamzeh Agahi
ITPRO
2010
61views more  ITPRO 2010»
14 years 11 months ago
Making Sense of Software Development and Personality Types
Luiz Fernando Capretz, Faheem Ahmed
JFP
2010
63views more  JFP 2010»
14 years 11 months ago
Parametricity, type equality, and higher-order polymorphism
Dimitrios Vytiniotis, Stephanie Weirich