Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Maria Concetta Palumbo
Cristina Suarez-Mejias
David Herman
Judy van Biljon
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DANIEL LIMA VENTURA
Author Info
Open Visualization
Name
Affiliation
Papers
DANIEL LIMA VENTURA
Grupo de Teoria da Computação, Dep. de Matemática, Universidade de Brasília, Brasília D.F., Brasil
13
Collaborators
Citations
PageRank
8
22
4.88
Referers
Referees
References
24
124
194
Search Limit
100
124
Publications (13 rows)
Collaborators (8 rows)
Referers (24 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Quantitative Understanding of Pattern Matching
0
0.34
2019
A resource aware semantics for a focused intuitionistic calculus.
0
0.34
2019
Nominal essential intersection types.
0
0.34
2018
Non-idempotent intersection types for the Lambda-Calculus.
7
0.53
2017
Strong Normalization through Intersection Types and Memory.
0
0.34
2016
Explicit substitution calculi with de Bruijn indices and intersection type systems.
1
0.35
2015
A Resource Aware Computational Interpretation for Herbelin's Syntax.
3
0.40
2015
Automath Type Inclusion in Barendregt’s Cube
0
0.34
2015
Quantitative Types for the Linear Substitution Calculus.
8
0.51
2014
Intersection type systems and explicit substitutions calculi
1
0.35
2010
Explicit substitutions calculi with one step Eta-reduction decided explicitly
0
0.34
2009
Principal Typings In A Restricted Intersection Type System For Beta Normal Forms With De Bruijn Indices
2
0.36
2009
Principal Typings for Explicit Substitutions Calculi
0
0.34
2008
1