Formalising nominal C-unification generalised with protected variables
Sign Up to like & getrecommendations! Published in 2021 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129521000050
Abstract: Abstract This work extends a rule-based specification of nominal C-unification formalised in Coq to include ‘protected variables’ that cannot be instantiated during the unification process. By introducing protected variables, we are able to reuse the… read more here.
Keywords: formalising nominal; protected variables; generalised protected; unification ... See more keywords