About: Logiques, catégories et machines, implantation de langages de programmation guidée par la logique catégorique   Goto Sponge  NotDistinct  Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
type
Author
alternative label
  • Logiques, catégories & machines, implantation de langages de programmation guidée par la logique catégorique
dc:subject
  • Informatique
  • These
  • Thèses et écrits académiques
  • Logique mathématique
  • Catégories (mathématiques)
  • Langages de programmation fonctionnelle
  • Sciences appliquees
  • Thesis
  • Lambda calculus
  • Langage programmation
  • Programming language
  • Machine abstraite
  • Programmation fonctionnelle
  • Computer theory
  • Category theory
  • Functional programming
  • Lambda calcul
  • Functional language
  • Langage fonctionnel
  • Informatique theorique
  • Theorie categorie
  • Abstract machine
  • Systemes
  • Automatique theorique
preferred label
  • Logiques, catégories et machines, implantation de langages de programmation guidée par la logique catégorique
Language
Subject
dc:title
  • Logiques, catégories et machines, implantation de langages de programmation guidée par la logique catégorique
note
  • DANS LE PREMIER CHAPITRE EST PROPOSEE UNE VUE D'ENSEMBLE SUR DES RAPPORTS ENTRE LOGIQUE, THEORIE DES CATEGORIES ET INFORMATIQUE DANS LE CAS DE LA PROGRAMMATION FONCTIONNELLE. LE DEUXIEME CHAPITRE CONTIENT UNE INTRODUCTION A LA LOGIQUE LINEAIRE AINSI QUE LES PRINCIPES DE LA MACHINE LINEAIRE. L'IMPLANTATION D'UN NOUVEAU LANGAGE QUI INTEGRE DES CARACTERISTIQUES NON FONCTIONNELLES, TOUT EN CONSERVANT LA NATURE DECLARATIVE DES LANGAGES FONCTIONNELS PURS EST PROPOSEE DANS LE TROISIEME CHAPITRE.
dc:type
  • Text
http://iflastandar...bd/elements/P1001
rdaw:P10219
  • 1988
has content type
is primary topic of
is rdam:P30135 of
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software