APA (7th ed.) Citation

(2022). Simply typed lambda calculus with opposite types.

Chicago Style (17th ed.) Citation

Simply Typed Lambda Calculus with Opposite Types. 2022.

MLA (8th ed.) Citation

Simply Typed Lambda Calculus with Opposite Types. 2022.

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