Results 191 to 200 of about 22,019 (240)
Some of the next articles are maybe not open access.
Mathematical Structures in Computer Science, 1992
The partially ordered models of linear logic, a logical system developed by J. Y. Girard, turn out to be a class of quantales called Girard quantales. The notion of a quantaloid is a natural categorical generalization of a quantale and is one possible way of keeping track of types.
openaire +2 more sources
The partially ordered models of linear logic, a logical system developed by J. Y. Girard, turn out to be a class of quantales called Girard quantales. The notion of a quantaloid is a natural categorical generalization of a quantale and is one possible way of keeping track of types.
openaire +2 more sources
Theorem of Girard - Girard Sum Formula - Fórmula Girard de Soma - Teorema de Girard
Fórmula da Soma de Girard: Uma Nova Perspectiva sobre a Adição Teorema da Decomposição Posicional de Girard (Teorema GPD) Autor: Marcelo Brito Girard Este artigo apresenta o Teorema da Decomposição Posicional de Girard (Teorema GPD) , também conhecido como Fórmula da Soma de Girard , uma abordagem inovadora para a operação de adição.openaire +1 more source
2016
Quali bisogni o desideri esprime la letteratura? Esistono criteri per stabilire il valore di un testo? Il suo significato muta a seconda del lettore? Il libro risponde a tali domande, ripercorrendo – in modo chiaro ma anche problematico – le idee, le parole-chiave, le forme discorsive che hanno segnato la teoria della letteratura dal primo Novecento a ...
openaire +1 more source
Quali bisogni o desideri esprime la letteratura? Esistono criteri per stabilire il valore di un testo? Il suo significato muta a seconda del lettore? Il libro risponde a tali domande, ripercorrendo – in modo chiaro ma anche problematico – le idee, le parole-chiave, le forme discorsive che hanno segnato la teoria della letteratura dal primo Novecento a ...
openaire +1 more source
Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände ...
openaire +1 more source
openaire +1 more source
2016
Significato e valore dell'opera di René Girard, in specie per la ricerca filosoficopolitica.
openaire +1 more source
Significato e valore dell'opera di René Girard, in specie per la ricerca filosoficopolitica.
openaire +1 more source