Juliusz Chroboczek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2001

3 Juliusz Chroboczek: Subtyping Recursive Games. TLCA 2001: 61-75

2000

2 Juliusz Chroboczek: Game Semantics and Subtyping. LICS 2000: 192-203

1997

1 Andrea Asperti, Juliusz Chroboczek: Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations. Appl. Algebra Eng. Commun. Comput. 8(6): 437-468 (1997)

	2001
3		Juliusz Chroboczek: Subtyping Recursive Games. TLCA 2001: 61-75
	2000
2		Juliusz Chroboczek: Game Semantics and Subtyping. LICS 2000: 192-203
	1997
1		Andrea Asperti, Juliusz Chroboczek: Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations. Appl. Algebra Eng. Commun. Comput. 8(6): 437-468 (1997)

Coauthor Index

1 Andrea Asperti [1]