collaborators

1 paper

cs.LO2025

Dependently Sorted Nominal Signatures

Maribel Fernández, Miguel Pagano, Nora Szasz +1

We investigate an extension of nominal many-sorted signatures in which abstraction has a form of instantiation, called generalised concretion, as elimination operator (similarly to…