Sciweavers

48 search results - page 1 / 10
» ac 2005
Sort
View
AC
2005
Springer
14 years 10 months ago
Verification and Validation and Artificial Intelligence
Tim Menzies, Charles Pecheur
ACS
2005
14 years 10 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