APA (7th ed.) Citation

Novitzká, V. Church's types in logical reasoning on programming.

Chicago Style (17th ed.) Citation

Novitzká, Valerie. Church's Types in Logical Reasoning on Programming.

MLA (9th ed.) Citation

Novitzká, Valerie. Church's Types in Logical Reasoning on Programming.

Warning: These citations may not always be 100% accurate.