APA Style

BORGHUIS, TIJN. (1994). Coming to terms with modal logic : On the interpretation of modalities in typed ^-calculus (1). Eindhoven: geboren.

Chicago Style

BORGHUIS, TIJN. Coming to terms with modal logic : On the interpretation of modalities in typed ^-calculus. 1 Eindhoven: geboren, 1994. TXB.

MLA Style

BORGHUIS, TIJN. Coming to terms with modal logic : On the interpretation of modalities in typed ^-calculus. 1 Eindhoven: geboren, 1994. TXB.

Turabian Style

BORGHUIS, TIJN. Coming to terms with modal logic : On the interpretation of modalities in typed ^-calculus. 1 Eindhoven: geboren, 1994. TXB.