A Generic Type System for Higher-Order Ψ-calculi.

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

Published in: EXPRESS/SOS (2022)

Keyphrases

higher order
high order
natural images
pairwise
markov random field
low order
database
high level
data mining
information systems
probabilistic model
knowledge representation
domain specific