Active Bibliography

520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
459 Comprehending Monads – Philip Wadler - 1992
342 Protecting respondents’ identities in microdata release – Pierangela Samarati - 2001
339 Discovering Frequent Closed Itemsets for Association Rules – Nicolas Pasquier, Yves Bastide, Rafik Taouil, Lotfi Lakhal - 1999
336 The Logic of Typed Feature Structures – Bob Carpenter, Fernando Pereira - 1992
281 SPADE: An efficient algorithm for mining frequent sequences – Mohammed J. Zaki - 2001
238 Categorial Type Logics – Michael Moortgat - 1997
263 Relations in Concurrency – Glynn Winskel