Sciweavers

48 search results - page 1 / 10
» acs 2005
Sort
View
AC
2005
Springer
13 years 4 months ago
Verification and Validation and Artificial Intelligence
Tim Menzies, Charles Pecheur
ACS
2005
13 years 4 months ago
Weakly Terminal Objects in Quasicategories of SET Endofunctors
The quasicategory Q of all set functors (i.e. endofunctors of the category SET of all sets and mappings) and all natural transformations has a terminal object
Libor Barto