Logica categorială și teoria tipurilor: Volume 141

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 5 voturi.

Titlul original:

Categorical Logic and Type Theory: Volume 141

Conținutul cărții:

Această carte este o încercare de a oferi o prezentare sistematică atât a logicii, cât și a teoriei tipurilor dintr-o perspectivă categorială, folosind conceptul unificator al categoriei fibrate.

Publicul vizat este format din logicieni, teoreticieni ai tipurilor, teoreticieni ai categoriilor și informaticieni (teoreticieni).