|
Search the dblp DataBase
Judicaël Courant:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Judicaël Courant
An Applicative Module Calculus. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1997, pp:622-636 [Conf]
- Judicaël Courant
A Module Calculus for Pure Type Systems. [Citation Graph (0, 0)][DBLP] TLCA, 1997, pp:112-128 [Conf]
- Judicaël Courant
Explicit Universes for the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:115-130 [Conf]
- Judicaël Courant
Strong Normalization with Singleton Types. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
- Jean-François Monin, Judicaël Courant
Proving termination using dependent types: the case of XOR-terms. [Citation Graph (0, 0)][DBLP] Trends in Functional Programming, 2006, pp:1-18 [Conf]
Automated Proofs for Asymmetric Encryption. [Citation Graph (, )][DBLP]
Towards automated proofs for asymmetric encryption schemes in the random oracle model. [Citation Graph (, )][DBLP]
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|