most citedA Lambda Prolog Based Animation of Twelf Specifications

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2014★ 2 cited

A Lambda Prolog Based Animation of Twelf Specifications

Mary Southern, Gopalan Nadathur

Specifications in the Twelf system are based on a logic programming interpretation of the Edinburgh Logical Framework or LF. We consider an approach to animating such specification…