Notes de cours de Master LMFI — MPRI 2015 - 2016 Lambda - calcul : syntaxe et sémantique
نویسنده
چکیده
منابع مشابه
Une mesure de similarité entre phrases basée sur des noyaux sémantiques
Résumé. Nous proposons une nouvelle approche pour le calcul de similarité sémantique entre phrases en utilisant les noyaux sémantiques qui les composent. Ces noyaux, sous la forme de triplets (sujet, verbe et objet) sont supposés porteurs de l’information des phrases dont ils sont extraits. Sur la base de la comparaison sémantique de noyaux, on extrait un ensemble d’indicateurs descriptifs. Nou...
متن کاملMetatheoretic Results for a Modal lambda-Calculus
This paper presents the proofs of the strong normalization, subject reduction, and Church-Rosser theorems for a presentation of the intuitionistic modal lambda calculus S4. It is adapted from Healfdene Goguen's thesis, where these properties are shown for the simply-typed lambda calculus and for UTT. Following this method, we introduce the notion of typed operational semantics for our system. W...
متن کاملA Categorical Semantics for The Parallel Lambda-Calculus
In this report, we define a sound and complete categorical semantics for the parallel λ-calculus, based on a notion of aggregation monad which is modular w.r.t. associativity, commutativity and idempotence. To prove completeness, we introduce a category of partial equivalence relations adapted to parallelism, in which any extension of the basic equational theory of the calculus is induced by so...
متن کاملLecture Notes Mpri 2.38.1 Geometric Graphs, Triangulations and Polytopes
These lecture notes on “Geometric Graphs, Triangulations and Polytopes” cover the material presented for half of the MPRI Master Course 2.38.1 entitled “Algorithmique et combinatoire des graphes géométriques”. The other half of the course, taught by Éric Colin de Verdière, focusses on “Algorithms for embedded graphs” [dV]. Announcements and further informations on the course are available onlin...
متن کاملUn Web sémantique de formation par questionnement
Résumé. Nous présentons dans cet article un EIAH conçu et développé selon des méthodes et techniques du Web sémantique et de l’ingénierie des connaissances. L'environnement d'apprentissage est conçu comme une mémoire de formation et le système que nous avons développé constitue un Web sémantique de formation (par extension de la notion de Web sémantique d’entreprise). Une approche d'acquisition...
متن کامل