Afficher la notice abrégée

Intensional Models for the Theory of Types

hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierDepartment of Philosophy
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorMUSKENS, Reinhard
dc.date.accessioned2024-04-15T09:50:25Z
dc.date.available2024-04-15T09:50:25Z
dc.date.issued2007
dc.identifier.issn0022-4812
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198340
dc.language.isoen
dc.publisherAssociation for Symbolic Logic
dc.title.enIntensional Models for the Theory of Types
dc.typeArticle de revue
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
dc.subject.halMathématiques [math]/Logique [math.LO]
dc.subject.halSciences de l'Homme et Société/Philosophie
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
bordeaux.journalThe Journal of Symbolic Logic
bordeaux.page98--118
bordeaux.volume72
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.issue1
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.peerReviewedoui
hal.identifierhal-00412577
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00412577v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=The%20Journal%20of%20Symbolic%20Logic&rft.date=2007&rft.volume=72&rft.issue=1&rft.spage=98--118&rft.epage=98--118&rft.eissn=0022-4812&rft.issn=0022-4812&rft.au=MUSKENS,%20Reinhard&rft.genre=article


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée