Your search returned 16 results.

Results
		Sobre la representación de S4.3. by Bonelli, Eduardo Menni, Matías Baum, Gabriel Alfredo [Director/a] Meré, María Claudia [Codirector/a] Material type: Text; Literary form: Not fiction Publication details: 1996 Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996. Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/01 .
		Information flow analysis for a typed assembly language with polymorphic stacks by Bonelli, Eduardo Compagnoni, Adriana Medel, Ricardo H Series: ^p Datos electrónicos (1 archivo : 680 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		A normalisation result for higher-order calculi with explicit substitutions by Bonelli, Eduardo Series: ^p Datos electrónicos (1 archivo : 323 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Correspondence assertions for process synchronization in concurrent communications by Bonelli, Eduardo Gunter, Elsa L Compagnoni, Adriana Series: ^p Datos electrónicos (1 archivo : 315 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Non-interference for a typed assembly language by Medel, Ricardo H Bonelli, Eduardo Compagnoni, Adriana Series: ^p Datos electrónicos (1 archivo : 152 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		A typed assembly language for non-interference by Medel, Ricardo H Bonelli, Eduardo Compagnoni, Adriana Series: ^p Datos electrónicos (1 archivo : 162 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Typechecking safe process synchronization by Bonelli, Eduardo Compagnoni, Adriana Gunter, Elsa L Series: ^p Datos electrónicos (1 archivo : 428 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Lógica de pruebas para certificación de computación móvil by Feller, Federico Bonelli, Eduardo [Director/a] Baum, Gabriel Alfredo [Codirector/a] Material type: Text; Literary form: Not fiction Publication details: 2009 Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2009. Online access: Click here to access online Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 09/22 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		The intensional lambda calculus by Artemov, Sergei Bonelli, Eduardo Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Justification logic as a foundation for certifying mobile computation by Bonelli, Eduardo Feller, Federico Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Compilación de programas seguros by Molinari, Enrique Bonelli, Eduardo [Director/a] Rossi, Gustavo Héctor [Codirector/a] Material type: Text; Literary form: Not fiction Publication details: 2009 Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 09/38 .
		Multipoint session types for a distributed calculus by Bonelli, Eduardo Compagnoni, Adriana Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		The logic of proofs as a foundation for certifying mobile computation by Bonelli, Eduardo Feller, Federico Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		de Bruijn indices for metaterms by Bonelli, Eduardo Kesner, Delia Rios, Alejandro Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Relating higher-order and first-order rewriting by Bonelli, Eduardo Kesner, Delia Rios, Alejandro Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Boxed ambients with communication interfaces by Bonelli, Eduardo Compagnoni, Adriana Dezani-Ciancaglini, Mariangiola Garralda, Pablo Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).