From dependent type theory to higher algebraic structures

Autor: Leena Subramaniam, Chaitanya

Publikováno v: Category Theory [math.CT]. Université de Paris, 2021. English

PhD Thesis, 155 pages, in English (with English and French introductions); The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We ch

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::35fbba14c93d5644c403f8f38aa60981
https://tel.archives-ouvertes.fr/tel-03369103/document

Critères de finitude homologique pour la non convergence des systèmes de réécriture de termes

Autor: Malbos, Philippe

L'algorithme de complétion de Knuth-Bendix permet, dans certainscas, d'utiliser les systèmes de réécriture pour décider leproblème du mot dans un monoïde. Le problème du mot est alorsréduit a un calcul de forme normale. Cependant, tous les m

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00008784
http://tel.archives-ouvertes.fr/docs/00/04/78/57/PDF/tel-00008784.pdf

On the Algebra of Structural Contexts

Autor: Lamarche, François

Publikováno v: Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2003, 51 p
Mathematical Structures in Computer Science, 2003, 51 p

Article dans revue scientifique avec comité de lecture.; We discuss a general way of defining contexts in linear logic, based on the observation that linear universal algebra can be symmetrized by assigning an additional variable to represent the ou

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::98291b7a90f6164e4818253479ddea91
https://hal.inria.fr/inria-00099461/document