Formalisation catégorielle des systèmes de types dépendants avec effets algébriques

📄

Résumé / Abstract

Nous développons une sémantique catégorielle complète pour les langages de programmation à types dépendants intégrant des effets algébriques, en établissant la correspondance de Curry-Howard-Lambek dans ce cadre enrichi.

Mots-clés : types dépendants effets algébriques théorie des catégories logique sémantique

Type Article

Langue Français

Date de publication 25 May 2024

Discipline Mathématiques

Institution Université Mohammed V de Rabat
Maroc

Accès ✅ Libre accès

📥

Accès au document

📭 Le fichier PDF n'est pas encore disponible pour cette publication.

👥

Équipe de recherche

Auteur

Autres publications de

Maîtriser le marketing par e-mail

Article 2026

Modélisation du comportement rhéologique des fluides non-newtoniens en microfluidique

Article 2024 📌 28 citations

Analyse longitudinale de l'accès aux soins prénataux dans les zones rurales d'Afrique subsaharienne, 2010-2023

Article 2024 📌 78 citations

Efficacité des interventions basées sur la pleine conscience dans la prise en charge de la douleur chronique : méta-analyse de 48 ECR

Revue systématique 2024 📌 312 citations

🔬

Détails éditoriaux

🏛 Institution Université Mohammed V de Rabat
Maroc

🌐 Langue Français

📅 Publié le 25/05/2024

🔓 Accès ✅ Libre accès (Open Access)

Identifiant DOI

10.47832/sol.2024.0340

🔗 Résoudre le DOI ↗

💬

Commentaires & Discussion

Connectez-vous pour participer à la discussion scientifique.

🔬 Aucun commentaire pour l'instant. Soyez le premier à réagir !