Bibliografie

 

• http://www-2.cs.cmu.edu/~fp/elf.html;
• http://www-2.cs.cmu.edu/~fp/papers/cade94.pdf;
• http://www-2.cs.cmu.edu/~fp/papers/elp91.pdf;
  
• Frank Pfenning. Elf: A meta-language for deductive systems,1989;
• Frank Pfenning. A structural proof of cut elimination and its representation in a logical framework,1991.