LAMBDA CALCULUS
Experts
- Ugo Dal Lago
- Lars Birkedal
- Simona Ronchi Della Rocca
- Furio Honsell
- Antonino Salibra
- Frank Pfenning
- Matthias Felleisen
- Mariangiola Dezani-Ciancaglini
- Alejandro Díaz-Caro
- Jan Willem Klop
- Manfred Schmidt-Schauß
- Maribel Fernández
- Ugo de'Liguoro
- Peter Selinger
- Karl Crary
- C.-H. Luke Ong
- Gilles Dowek
- David Sabel
- Peter D. Mosses
- Marina Lenisa
- Barrett R. Bryant
- Gilles Barthe
- Marco Gaboardi
- Naoki Kobayashi
- Nobuko Yoshida
- Marjan Mernik
- John C. Mitchell
- Albert R. Meyer
- Richard Statman
- Margaret M. Burnett
- Peter Thiemann
- Claude Kirchner
- Fer-Jan de Vries
- Viviana Bono
- Neil D. Jones
- Frédéric Blanqui
- Matthew Hennessy
- Giulio Manzonetto
- Christoph Benzmüller
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
- IACR Cryptol. ePrint Arch.
- Ann. Pure Appl. Log.
- MFPS
- ASPLOS
- ACM Comput. Surv.
- FSCD
- Arch. Math. Log.
- Fundam. Informaticae
- PEPM
- ICLP
- Notre Dame J. Formal Log.
- ACM SIGCSE Bull.
- SAC
- IFIP Congress
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend