LAMBDA CALCULUS
Experts
- Ugo Dal Lago
- Lars Birkedal
- Simona Ronchi Della Rocca
- Frank Pfenning
- Furio Honsell
- Antonino Salibra
- Matthias Felleisen
- Mariangiola Dezani-Ciancaglini
- Alejandro Díaz-Caro
- Manfred Schmidt-Schauß
- Jan Willem Klop
- Karl Crary
- Maribel Fernández
- Peter Selinger
- Ugo de'Liguoro
- Gilles Dowek
- C.-H. Luke Ong
- David Sabel
- Marina Lenisa
- Peter D. Mosses
- John C. Mitchell
- Naoki Kobayashi
- Nobuko Yoshida
- Marco Gaboardi
- Gilles Barthe
- Marjan Mernik
- Albert R. Meyer
- Barrett R. Bryant
- Neil D. Jones
- Claude Kirchner
- Viviana Bono
- Peter Thiemann
- Fer-Jan de Vries
- Matthew Hennessy
- Margaret M. Burnett
- Giulio Manzonetto
- Frédéric Blanqui
- Richard Statman
- Ralph Matthes
Venues
- CoRR
- Theor. Comput. Sci.
- POPL
- LICS
- ACM SIGPLAN Notices
- Electron. Notes Theor. Comput. Sci.
- ESOP
- TLCA
- J. Funct. Program.
- Inf. Comput.
- ICFP
- RTA
- CSL
- Proc. ACM Program. Lang.
- Log. Methods Comput. Sci.
- J. Symb. Log.
- APLAS
- Math. Struct. Comput. Sci.
- Commun. ACM
- SIGCSE
- PPDP
- MFCS
- Sci. Comput. Program.
- ACM Trans. Program. Lang. Syst.
- ICALP
- Ann. Pure Appl. Log.
- IACR Cryptol. ePrint Arch.
- MFPS
- ASPLOS
- ACM Comput. Surv.
- FSCD
- Arch. Math. Log.
- Fundam. Informaticae
- ICLP
- PEPM
- SAC
- ACM SIGCSE Bull.
- Appl. Math. Lett.
- TYPES
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend