3572 search results - page 7 / 715 » Nominal Logic Programming |
TACS
2001
Springer
15 years 2 months ago
2001
Springer
JAPLL
2010
14 years 8 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer