Login / Signup
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.
Juan Climent Vidal
Enric Cosme-Llópez
Published in:
CoRR (2024)
Keyphrases
</>
higher order
high order
pairwise
markov random field
response time
databases
information extraction
expressive power
lambda calculus