A generic type system for higher-order Ψ-calculi.

Hans Hüttel Stian Lybech Alexander Rønning Bendixen Bjarke Bredow Bojesen

Published in: Inf. Comput. (2024)

Keyphrases

higher order
domain specific
natural images
high order
information systems
pairwise
markov models
data sets
databases
image processing
decision trees
case study
application specific