rss group by: generated by BibBase.org
 id_2008unfolded.gif 2008 (2)
Cut Elimination in the Intuitionistic Theory of Types with Axioms and Rewriting Cuts, Constructively. Hermant, O.; Lipton, J.; Benzmüller, C. E.; Brown, C. E.; Siekmann, J.; and Statman, R. 2008. Festschrift in Honor of Peter B. Andrews on His 70th Birthday.
Cut Elimination in the Intuitionistic Theory of Types with Axioms and Rewriting Cuts, Constructively [bib] Buy
The lambda-calculus is nominal algebraic. Gabbay, M. J.; Mathijssen, A.; Benzmüller, C. E.; Brown, C. E.; Siekmann, J.; and Statman, R. 2008. Festschrift in Honor of Peter B. Andrews on His 70th Birthday.
The lambda-calculus is nominal algebraic [PDF] The lambda-calculus is nominal algebraic [bib]    Buy
Statistics: ? unique visitors, ? downloads | Link To This Page.