We describe a sequent calculus with primitives for inductive and coinductive datatypes and equip it with reduction rules allowing a sound translation of Gödel’s system T. We introduce the notion of a
, relying on a uniform interpretation of open formulas as strong functors. We show that any -closed category is a sound model for . We then turn to the construction of a concrete -closed category based on Hyland-Ong game semantics. The model relies on three main ingredients: the construction...
Dans ce travail, les Auteurs ont étudié la typologie neuronique d'un poisson Polyptériforme: Calamoichthys calabaricus. La rareté du matériel a limité l'étude à quatre spécimens; deux encéphales, traités par la technique de Ramòn—Moliner, ont été coupés transversalement; les deux autres, traités par la méthode de Golgi-Cox, ont été coupés, l'un aussi transversalement, l'autre horizontalement. Le télencéphale des Polyptériformes se composent essentiellement d'une vaste area dorsalis, très homogène...
The cytoarchitectural pattern of the Archipallium of the African lung-fish Protopterus dolloi Boulenger has been studied by means of Golgi-Cox preparations. The Authors demonstrate that the whole Archipalleal area shows a homogeneous cytoarchitectural pattern made up through leptodendritic neurons, e.g. multipolars, intermediates and piriforms. A histological similarity results from the comparison between the Archipallium and the septum; nevertheless the histology of the septal area is more complex...
Lo studio dell'encefalo anteriore dei Dipnoi e degli Anfibi ha motivato il presente scritto inteso a proporre un modello ipotetico di encefalo attribuibile a quei Vertebrati ittiomorfi del Paleozoico che possono essere già considerati sulla linea evolutiva checonduce ai Tetrapodi. Questo modello è stato essenzialmente costruito sulla base delle nostre personali osservazioni condotte su Protopterus annectens e P. dolloi. Il telencefalo di Protopterus è infatti completamente invertito e vi si possono...
The neurohistogenesis of Anuran's Septum and Strio-Amygdaloid complex has been investigated by the Golgi-Cox method in larval Telencephalons of Rana catesbeiana and Rana pipiens. The neurohistogenetical pattern proposed by the Authors in a previous report regarding the pallial area has been confirmed in the subpallial one. The interrelationships between neuronal differentiation and functional maturation of the nervous pathway and of the neuropilar area have been discussed.
Servendosi del metodo di Golgi-Cox, gli Autori hanno esaminato la tipologia neuronale del complesso Strio-amigdaliano di Protopterus dolloi. L'insieme della parete latero-ventrale dell'emisfero telencefalico comprende tre distinte formazioni: lo striato dorsale, lo striato ventrale comprendente la superpositio ventralis e l'amigdala. I neuroni dello striato dorsale sono di tipo piriforme e multipolare, mentre lo striato ventrale possiede, oltre ai due tipi neuronali citati numerosi neuroni bipolari...
Les Auteurs ont étudié la typologie neuronale de Protopterus à partir d'échantillons traités par la méthode de Gogi—Cox et coupés à 50 d'épaisseur. Dans ce premier travail, ils se sont limités au Septum télencéphalique. Afin de mieux analyser le territoire septal dans son ensemble, celui-ci a été scindé en 3 portions: antérieure, intermédiaire, et postérieure. Comme dans nos précédents travaux, nous avons adopté ici une terminologie permettant d'établir des comparaisons avec celle de Ramon-Moliner...
Download Results (CSV)