Uniform Proofs and Natural Deductions

Research output: Contribution to conference › Paper

Handle.net

@conference{1a288addc04a4f9aa7cebd452ebae695,

title = "Uniform Proofs and Natural Deductions",

author = "Roy Dyckhoff and L Pinto and D Galmiche and L Wallen",

note = "Proof Search in Type-Theoretic Languages; Proc Workshop 1B, 12th International Conference on Automated Deduction, Nancy, France (CADE-12)",

year = "1994",

language = "English",

pages = "17--23",

}