Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
R. Wijn
Hao Mao
Peter Malec
Ted Huppert
H. Cagdas Ocalan
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
Mechanized metatheory for a λ-calculus with trust types.
Paper Info
Open Visualization
Title
Mechanized metatheory for a λ-calculus with trust types.
Year
Venue
DocType
2013
J. Braz. Comp. Soc.
Journal
Volume
Issue
Citations
19
4
0
PageRank
References
Authors
0.34
0
3
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Rodrigo Ribeiro
1
3
1.11
Lucília Figueiredo
2
15
4.33
Carlos Camarão
3
17
5.74
1