Publication:4508310

zbMath0961.68032MaRDI QIDQ4508310

Aleksy Schubert

Publication date: 3 October 2000

zbMATH Keywords

decidability; type inference

Mathematics Subject Classification ID

03B10: Classical first-order logic

03B25: Decidability of theories and sets of sentences

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

03B40: Combinatory logic and lambda calculus