302 articles – 345 Notices  [english version]
.:. Consultation > Liste par auteurs > Accattoli .:.
4 documents classés par :
The permutative lambda-calculus
Accattoli B., Kesner D.
In Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) - International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Venezuela, Bolivarian Republic Of (2012) [hal-00686795 - version 1]
Preservation of strong normalisation modulo permutations for the structural lambda-calculus
Accattoli B., Kesner D.
Logical Methods in Computer Science 8, 1:28 (2012) Pages 1-44 [hal-00686780 - version 1]
fulltext access The structural lambda-calculus
Accattoli B., Kesner D.
[hal-00528228 - version 1] (2010-10-21)
The structural lambda-calculus
Accattoli B., Kesner D.
In Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL) - Annual Conference on Computer Science and Logic (CSL), Czech Republic (2010) [hal-00524775 - version 1]