Daniel Lima Ventura

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2010
c3		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246
	2009
j1		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Explicit substitutions calculi with one step Eta-reduction decided explicitly. Logic Journal of the IGPL 17(6): 697-718 (2009)
c2		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices. WRS 2009: 69-82
	2008
c1		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578

Coauthor Index

1	Mauricio Ayala-Rincón	[c3] [j1] [c2] [c1]
2	Fairouz Kamareddine	[c3] [j1] [c2] [c1]

Last update Sat May 25 07:45:24 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page