%0 Journal Article %1 journals/jbcs/RibeiroFC13 %A Ribeiro, Rodrigo Geraldo %A Figueiredo, Lucília %A Camarão, Carlos %D 2013 %J J. Braz. Comput. Soc. %K dblp %N 4 %P 433-443 %T Mechanized metatheory for a λ-calculus with trust types. %U http://dblp.uni-trier.de/db/journals/jbcs/jbcs19.html#RibeiroFC13 %V 19

@article{journals/jbcs/RibeiroFC13, added-at = {2022-06-01T00:00:00.000+0200}, author = {Ribeiro, Rodrigo Geraldo and Figueiredo, Lucília and Camarão, Carlos}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2afdd274ea5a9b0b566007abb1d4659d1/dblp}, ee = {https://doi.org/10.1007/s13173-013-0119-5}, interhash = {0c3515faafb8065485ed6c3b8530369d}, intrahash = {afdd274ea5a9b0b566007abb1d4659d1}, journal = {J. Braz. Comput. Soc.}, keywords = {dblp}, number = 4, pages = {433-443}, timestamp = {2022-06-02T06:05:51.000+0200}, title = {Mechanized metatheory for a λ-calculus with trust types.}, url = {http://dblp.uni-trier.de/db/journals/jbcs/jbcs19.html#RibeiroFC13}, volume = 19, year = 2013 }