Predicate Liftings Versus Nabla Modalities
Work
Year: 2008
Type: article
Abstract: We compare Moss' language and languages with predicate liftings. We prove that every monadic predicate lifting for a Kripke polynomial functor can be translated into Moss' language. We also prove that... more
Author Raul Andres Leal
Institution Vrije Universiteit Amsterdam
Cites: 9
Cited by: 10
Related to: 10
FWCI: 0.839
Citation percentile (by year/subfield): 86.55
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: gold