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
- Karl Crary
- Peter Selinger
- David Sabel
- Gilles Dowek
- C.-H. Luke Ong
- Marina Lenisa
- Peter D. Mosses
- Albert R. Meyer
- Marjan Mernik
- Gilles Barthe
- Barrett R. Bryant
- John C. Mitchell
- Naoki Kobayashi
- Marco Gaboardi
- Nobuko Yoshida
- Margaret M. Burnett
- Neil D. Jones
- Fer-Jan de Vries
- Frédéric Blanqui
- Viviana Bono
- Matthew Hennessy
- Giulio Manzonetto
- Richard Statman
- Claude Kirchner
- Peter Thiemann
- Andreas Abel
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.
- Log. Methods Comput. Sci.
- CSL
- 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
- FSCD
- ACM Comput. Surv.
- Arch. Math. Log.
- Fundam. Informaticae
- PEPM
- ICLP
- TYPES
- SAC
- Appl. Math. Comput.
- Notre Dame J. Formal Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend