LAMBDA CALCULUS
Experts
- Ugo Dal Lago
- Lars Birkedal
- Simona Ronchi Della Rocca
- Antonino Salibra
- Frank Pfenning
- Furio Honsell
- 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
- Marina Lenisa
- Peter D. Mosses
- Gilles Dowek
- David Sabel
- C.-H. Luke Ong
- Marco Gaboardi
- John C. Mitchell
- Marjan Mernik
- Naoki Kobayashi
- Barrett R. Bryant
- Albert R. Meyer
- Gilles Barthe
- Nobuko Yoshida
- Claude Kirchner
- Viviana Bono
- Giulio Manzonetto
- Matthew Hennessy
- Peter Thiemann
- Frédéric Blanqui
- Margaret M. Burnett
- Richard Statman
- Neil D. Jones
- Fer-Jan de Vries
- J. Gregory Morrisett
Venues
- CoRR
- Theor. Comput. Sci.
- POPL
- LICS
- ACM SIGPLAN Notices
- Electron. Notes Theor. Comput. Sci.
- ESOP
- TLCA
- J. Funct. Program.
- Inf. Comput.
- ICFP
- RTA
- Proc. ACM Program. Lang.
- CSL
- Log. Methods Comput. Sci.
- APLAS
- J. Symb. Log.
- 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.
- Notre Dame J. Formal Log.
- Appl. Math. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend