18226497
Results 1 to 1 of 1
Selection :
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflectionHICKEY, Jason; NOGIN, Aleksey; XIN YU et al.ACM SIGPLAN notices. 2006, Vol 41, Num 9, pp 172-183, issn 1523-2867, 12 p.Conference Paper