Bases bibliographiques Pascal et Francis

Aide

Lien permanent
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=6785147

A non-typability result in the system Fco

Auteur
ROZIERE, P1
[1] Univ. Paris-VII, équipe logique mqthématique, Paris 75251, France
Source

Comptes rendus de l'Académie des sciences. Série 1, Mathématique. = Comptes rendus de l'Académie des sciences. Série 1. Mathematics. 1989, Vol 309, Num 13, pp 799-802 ; ref : 5 ref

CODEN
CASMEI
ISSN
0764-4442
Domaine scientifique
Mathematics; Physics
Editeur
Elsevier, Paris
Pays de publication
France
Type de document
Article
Langue
French
Mot clé (fr)
Lambda calcul Logique mathématique Ordre Système construction Type Système F ϖ Système F Terme non typable
Mot clé (en)
Lambda calculus Mathematical logic Order Construction system Type
Mot clé (es)
Lambda cálculo Lógica matemática Orden Sistema construcción Tipo
Classification
Pascal
001 Sciences exactes et technologie / 001A Sciences et techniques communes / 001A02 Mathematiques / 001A02A Logique mathématique, fondements, théorie des ensembles / 001A02A01 Logique et fondements

Discipline
Mathematics
Provenance
Inist-CNRS
Base de données
PASCAL
Identifiant INIST
6785147

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Rechercher sur le web