On Spector’s bar recursion. (English)
Math. Log. Q. 58, No. 4-5, 356-365 (2012).
1
Hybrid functional interpretations of linear and intuitionistic logic. (English)
J. Log. Comput. 22, No. 2, 305-328 (2012).
2
Intuitionistic dual-intuitionistic nets. (English)
J. Log. Comput. 21, No. 4, 561-587 (2011).
3
A focused approach to combining logics. (English)
Ann. Pure Appl. Logic 162, No. 9, 679-697 (2011).
4
A linear algorithm for MLL proof net correctness and sequentialization. (English)
Theor. Comput. Sci. 412, No. 20, 1958-1978 (2011).
5
Proof interpretations with truth. (English)
Math. Log. Q. 56, No. 6, 591-610 (2010).
6
Functional interpretations of linear and intuitionistic logic. (English)
Inf. Comput. 208, No. 5, 565-577 (2010).
7
Start
Contact
Print
General Help
