Mechanical Procedure for Proof Construction via Closed Terms in Typed lambda Calculus
Tytuł:
Mechanical Procedure for Proof Construction via Closed Terms in Typed lambda Calculus
Czasopismo:
Rok:
1988
Strony:
173-190
Tom (seria wydawnicza):
4