Adequate and computational encodings in the logical framework Dedukti

Thiago Felicissimo

Dedukti is a very expressive logical framework which unlike most frameworks, such as the Edinburgh Logical Framework (LF), allows for the representation of computation alongside de…