A Constructive Type System to Integrate Logic and Functional Programming

L Pinto, Roy Dyckhoff, D Galmiche, L Wallen

Research output: Contribution to conference › Paper

Cite this

@conference{14f97d7beecf4bcf8260e5575efa4e2b,

title = "A Constructive Type System to Integrate Logic and Functional Programming",

author = "L Pinto and Roy Dyckhoff 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 = "70--81",

}

TY - CONF

T1 - A Constructive Type System to Integrate Logic and Functional Programming

AU - Pinto, L

AU - Dyckhoff, Roy

AU - Galmiche, D

AU - Wallen, L

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

PY - 1994

Y1 - 1994

UR - http://www-theory.dcs.st-andrews.ac.uk/~rd/publications/#UPND

M3 - Paper

SP - 70

EP - 81

ER -