Cover Image

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Boyer, Matthieu Pierre
Format:	Preprint
Published:	2025
Subjects:	Computation and Language Programming Languages J.5; D.3.1; D.3.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
by: McCann, Alan L.
Published: (2026)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
by: Guerreiro, Miguel de Oliveira
Published: (2025)

Weak-linearity, globality and in-place update
by: Gramaglia, Hector
Published: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
by: Volkov, Dmitri, et al.
Published: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
by: Volkov, Dmitri
Published: (2026)

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

Conversational Concurrency
by: Garnock-Jones, Tony
Published: (2024)

Probability and Angelic Nondeterminism with Multiset Semantics
by: Ong, Shawn, et al.
Published: (2024)

Homomorphism Calculus for User-Defined Aggregations
by: Wang, Ziteng, et al.
Published: (2025)

Semantics for 2D Rasterization
by: Kulkarni, Bhargav, et al.
Published: (2026)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
by: Vandeloise, Mikel
Published: (2025)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
by: Sepúlveda, Mauricio Vargas, et al.
Published: (2024)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

A Two-Phase Infinite/Finite Low-Level Memory Model
by: Beck, Calvin, et al.
Published: (2024)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Teaching Introductory Functional Programming Using Haskelite
by: Vasconcelos, Pedro
Published: (2025)

What does it take to certify a conversion checker?
by: Lennon-Bertrand, Meven
Published: (2025)

Polymorphic Records for Dynamic Languages
by: Castagna, Giuseppe, et al.
Published: (2024)

The Denotational Semantics of SSA
by: Ghalayini, Jad Elkhaleq, et al.
Published: (2024)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
by: Siek, Jeremy G.
Published: (2024)

Simple Modal Types for Functional Reactive Programming
by: Bahr, Patrick
Published: (2025)

Relational Reactive Programming: miniKanren for the Web
by: Donahue, Evan
Published: (2024)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
by: Sano, Jin, et al.
Published: (2025)

Memory Consistency and Program Transformations
by: Gopalakrishnan, Akshay, et al.
Published: (2024)

Modular Synthesis of Efficient Quantum Uncomputation
by: Venev, Hristo, et al.
Published: (2024)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
by: Yang, Tengshun, et al.
Published: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Explicit Weakening
by: Wadler, Philip
Published: (2024)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
by: Krook, Robert, et al.
Published: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
by: Accattoli, Beniamino, et al.
Published: (2025)

Dynamic String Generation and C++-style Output in Fortran
by: Mohr, Marcus
Published: (2024)

Modernizing SMT-Based Type Error Localization
by: Kopinsky, Max, et al.
Published: (2024)