Torben Bra

发表

The Girard Translation Extended with Recursion

Torben Bra, 1995 .

Natural Deduction for Hybrid Logic

Torben Bra, 2004 .

Natural Deduction for First-Order Hybrid Logic

Torben Bra, 2005 .

Introduction to Linear Logic

Torben Bra, T. Bra, 1996 .