• Filtres
• Structure : Identifiant HAL de la structure  ×
• Mots-clés  ×
• Tous  ×

36 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 36 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-01400369v1  Thèse Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English
	tel-00724233v2  HDR Frédéric Blanqui. Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012
	tel-01420460v2  Thèse Pierre Halmagrand. Automated Deduction and Proof Certification for the B Method Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
	tel-01157160v1  Thèse Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English
	pastel-00556578v1  Thèse Vincent Siles. Investigation on the typing of equality in type systems Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2010. English
	tel-00185844v1  Thèse Maxime Amblard. Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles Autre [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2007. Français
	tel-01251668v1  Thèse Jérôme Kirman. Mise au point d'un formalisme de haut niveau pour le traitement automatique des langues Informatique et langage [cs.CL]. Université de Bordeaux, 2015. Français
	pastel-00002090v1  Thèse Tomasz Blanc. Security Properties in the lambda-calculus. Cryptographie et sécurité [cs.CR]. Ecole Polytechnique X, 2006. Français
	tel-00353065v1  Thèse Sébastien Hinderer. Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2008. Français
	tel-01253426v1  HDR Sylvain Salvati. Lambda-calculus and formal language theory Computer Science [cs]. Université de Bordeaux, 2015
	tel-00460805v1  HDR Olivier Laurent. Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
	tel-00921040v1  Thèse Florent Pompigne. Modélisation logique de la langue et Grammaires Catégorielles Abstraites Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français
	tel-01415967v2  HDR Maxime Amblard. Sémantique et discours - de la modélisation à l'interprétation Informatique [cs]. Université de Lorraine (Nancy), 2016
	tel-00164576v1  Thèse Germain Faure. Structures et modèles de calculs de réécriture Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
	tel-01096067v1  Thèse Michele Alberti. On operational properties of quantitative extensions of λ-calculus Mathematics [math]. Aix Marseille Université; Università di Bologna, 2014. English
	tel-01247085v1  Thèse Pierre-Marie Pédrot. A Materialist Dialectica Logic in Computer Science [cs.LO]. Paris Diderot, 2015. English
	tel-01235303v4  Thèse Ali Assaf. A framework for defining computational higher-order logics Computer Science [cs]. École polytechnique, 2015. English
	tel-00382528v1  Thèse Hugo Herbelin. Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes Informatique [cs]. Université Paris-Diderot - Paris VII, 1995. Français
	tel-01090624v1  Thèse Giulio Pellitta. Extending Implicit Computational Complexity and Abstract Machines to Languages with Control Programming Languages [cs.PL]. Università di Bologna, 2014. English
	tel-00196524v2  Thèse Benjamin Werner. Une Théorie des Constructions Inductives Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1994. Français
	tel-00105522v1  Thèse Frédéric Blanqui. Théorie des types et réécriture Autre [cs.OH]. Université Paris Sud - Paris XI, 2001. Français
	tel-00418563v1  Thèse Roberto Bonato. An Integrated Computational Approach to Binding Theory Computer Science [cs]. Université Sciences et Technologies - Bordeaux I; Università degli studi di Verona, 2006. English
	pastel-00929908v1  Thèse Nicolas Guenot. Nested Deduction in Logical Foundations for Computation Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
	tel-00627432v1  Thèse Bruno Mery. Modélisation de la Sémantique Lexicale dans le cadre de la théorie des types Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2011. Français
	tel-01232508v1  Thèse Romain Kervarc. Systèmes de types purs et substitutions explicites Logique en informatique [cs.LO]. École normale supérieure de Lyon, 2007. Français
	tel-00546917v1  HDR Horatiu Cirstea. Le calcul de réécriture Génie logiciel [cs.SE]. Université Nancy II, 2010
	tel-01248531v1  Thèse Lourdes del Carmen Gonzalez Huesca. Incrementality and effect simulation in the simply typed lambda calculus Computer Science [cs]. Universite Paris Diderot-Paris VII, 2015. English
	tel-00006314v1  Thèse Pascal Zimmer. Récursion généralisée et inférence de types avec intersection Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
	tel-00007549v1  Thèse Hervé Grall. Deux critères de sécurité pour l'exécution de code mobile Génie logiciel [cs.SE]. Ecole des Ponts ParisTech, 2003. Français
	tel-00010546v1  Thèse Benjamin Wack. Typage et déduction dans le calcul de réécriture Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2005. Français
	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 36 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM