Include Lambdapi code in a Latex document With the listings package: You need to include lambdapi.tex. See an example here.