Login / Signup

Specifying with syntactic theory functors.

Magne HaveraaenMarkus Roggenbach
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases