kozima's Top Recommendations

These recommendations were last updated 56 minutes ago.

	Higher-order matching and tree automata [My Copy] In Proc.\ 11th Int.\ Workshop Computer Science Logic (CSL'97), Aarhus, Denmark, Aug.\ 1997, Vol. 1414 (1998), pp. 157-176. by Hubert Comon, Yan Jurski posted by 3 people dmitri83 shenshei Scis0000002
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted by 8 people dherman jrw zednenem msakai dmitri83 EdwardKmett meiersi NU-PRL
	Bananas in space: extending fold and unfold to exponential types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted by 8 people blog01 JacquesC jyasskin voigt msakai dmitri83 NU-PRL spl
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted by 11 people ConcertRG robertjohnsimmons pedagand spl jimburton byorgey dalev greenrd dmitri83 NU-PRL SRG_at_UCD
	Functional pearl: i am not a number--i am a free variable [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9. by Conor McBride, James McKinna posted by 5 people robertjohnsimmons mvermaat eaubin kavabean msakai
	Categorical glueing and logical predicates for models of linear logic [My Copy] (1999) by M. Hasegawa posted by 1 person vcvpaiva
	Equality of Proofs for Linear Equality [My Copy] (30 Jan 2006) by K. Dosen, Z. Petric posted by 2 people greg_restall vcvpaiva
	A Constructive Game Semantics for the Language of Linear Logic [My Copy] Annals of Pure and Applied Logic, Vol. 85, No. 2. (1997), pp. 87-156. by Giorgi Japaridze posted by 1 person vcvpaiva
	Some semantical aspects of linear logic [My Copy] (1996) by A. Blass posted by 2 people vcvpaiva scis0000001
	Games on Graphs and Sequentially Realizable Functionals [My Copy] by Exte N. Ed posted by 1 person vcvpaiva
	Glueing and orthogonality for models of linear logic [My Copy] by M. Hyland, A. Schalk posted by 1 person vcvpaiva
	Proofs, Concurrent Objects, and Computations in a FILL Framework [My Copy] In Object-Based Parallel And Distributed Computation, Vol. 1107 (1995), pp. 148-167. by D. Galmiche, E. Boudinet edited by J. Briot, J. Geib, A. Yonezawa posted by 1 person vcvpaiva
	Connection methods in linear logic and proof nets construction [My Copy] Theoretical Computer Science, Vol. 232, No. 1--2. (2000), pp. 231-272. by D. Galmiche posted by 1 person vcvpaiva
	On proof normalization in linear logic [My Copy] Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 67-110. by Didier Galmiche, Guy Perrier posted by 1 person vcvpaiva
	Rewriting properties of combinators for intuitionistic linear logic [My Copy] (1994) by M. Nesi, V. de Paiva, E. Ritter posted by 1 person vcvpaiva
	Categorical Models of Explicit Substitutions [My Copy] In Foundations of Software Science and Computation Structure (1999), pp. 197-211. by Neil Ghani, Valeria de Paiva, Eike Ritter posted by 1 person vcvpaiva
	Explicit Substitutitions for Constructive Necessity [My Copy] by Neil Ghani, Valeria de Paiva, Eike Ritter posted by 1 person vcvpaiva
	Syntactic Multicategories and Categorical Combinators for Linear Logic [My Copy] (1993) by E. Ritter, V. de Paiva posted by 3 people vcvpaiva rgb pileWorks
	Explicit substitution for linear logical frameworks [My Copy] by I. Cervesato, V. de Paiva, E. Ritter posted by 1 person vcvpaiva
	A Dialectica Model of the Lambek Calculus [My Copy] by Valeria de Paiva posted by 1 person vcvpaiva
	A Substructural Logic for Formal Verification [My Copy] by Sara Kalvala, Valeria de Paiva posted by 2 people dwei98 vcvpaiva
	Lineales: Algebraic Models of Linear Logic from a Categorical Perspective [My Copy] by Valeria de Paiva posted by 1 person vcvpaiva
	Categorical Models for Intuitionistic and Linear Type Theory [My Copy] Lecture Notes in Computer Science, Vol. 1784 (2000) by Maria E. Maietti, Valeria de Paiva, Eike Ritter posted by 1 person vcvpaiva
	Categorical Multirelations, Linear Logic and Petri Nets [My Copy] (May 1991) by V. de Paiva posted by 1 person vcvpaiva
	Relating Categorical Semantics for Intuitionistic Linear Logic [My Copy] No. CSR-01-7. (2001) by Maria E. Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter posted by 3 people vcvpaiva mcclurmc Lambda the Ultimate
	Normalization Bounds in Rudimentary Linear Lambda Calculus [My Copy] by Maria E. Maietti, Valeria de Paiva, Eike Ritter posted by 1 person vcvpaiva
	Scalability of Redundancy Detection [My Copy] by In F. Document posted by 1 person vcvpaiva
	Entailment, Intensionality and Text Understanding [My Copy] by Cleo C. Dick posted by 1 person vcvpaiva
	A Parigot-style Linear lambda-Calculus for Full Intuitionistic Linear Logic [My Copy] by Valeria de Paiva, Eike Ritter posted by 1 person vcvpaiva
	Dialectica and Chu Constructions: Cousins? [My Copy] by Valeria De Paiva posted by 1 person vcvpaiva
	Knowledge Tracking: Answering Implicit Questions [My Copy] by Reinhard S. Daniel posted by 1 person vcvpaiva
	A dialectica model of state [My Copy] (1996) by M. Da, S. Correa, E. Haeusler, V. de Paiva posted by 1 person vcvpaiva
	Poset-valued sets or How to build models for Linear Logics [My Copy] (2001) by A. Schalk, De V. Paiva posted by 1 person vcvpaiva
	Inheritance Defaults and the Lexicon [My Copy] (1993) by E. Briscoe, A. Copestake, V. de Paiva posted by 1 person vcvpaiva
	A Formulation of Linear Logic Based on Dependency-Relations [My Copy] by Torben Braüner, Valeria de Paiva posted by 1 person vcvpaiva
	On Explicit Substitutions and Names [My Copy] No. CSR-97-5. (March 1997) by Eike Ritter, Valeria de Paiva posted by 1 person vcvpaiva
	Linear Explicit Subsitutions [My Copy] No. CSR-98-2. (March 1998) by Neil Ghani, Valeria de Paiva, Eike Ritter posted by 1 person vcvpaiva
	Linear lambda-calculus and categorical models revisited [My Copy] In Proceedings of the Sixth Workshop on Computer Science Logic (1993), pp. 61-84. by N. Benton, G. Bierman, V. de Paiva, M. Hyland edited by E. Börgër, G. Jägër, Kleine H. Bünïng, S. Martini, M. Richter posted by 1 person vcvpaiva
	Intuitionistic Necessity Revisited [My Copy] No. CSR-96-10. (1996) by G. M. Bierman, Valeria de Paiva posted by 1 person vcvpaiva
	A Term Calculus for Intuitionistic Linear Logic [My Copy] In Proceedings Intl.\ Conf.\ on Typed Lambda Calculi and Applications, TLCA'93, Utrecht, The Netherlands, 16--18 March 1993, Vol. 664 (1993), pp. 75-90. by Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland edited by M. Bezem, J. F. Groote posted by 1 person vcvpaiva
	A categorical version of the Brouwer--Heyting--Kolmogorov interpretation [My Copy] by Erik Palmgren posted by 1 person vcvpaiva
	Linearly distributive functors [My Copy] (1996) by J. R. B. Cockett, R. A. G. Seely posted by 1 person vcvpaiva
	A study of the discomfort associated with tennis shoes [My Copy] Journal of Sports Sciences, Vol. 20, No. 9. (2002), pp. 671-679. by S. Llana, G. Brizuela1, J. Dura, A. Garcia posted by 1 person marcin
	A Multizone Scaling Method for CAD in Shoe Sole Design [My Copy] The International Journal of Advanced Manufacturing Technology, Vol. 19, No. 5. (March 2002), pp. 313-317. by R. T. Lee, W. S. Cheng posted by 1 person marcin
	Walking at Moderate Speed with Heel-Less Shoes Increases Calf Blood Flow [My Copy] Archives of Physiology and Biochemistry, pp. 398-404. by T. Yamamoto, T. Ohkuwa, H. Itoh, Y. Yamazaki, Y. Sato posted by 1 person marcin
	Lascar and Morley ranks differ in differentially closed fields [My Copy] (30 Sep 1998) by Ehud Hrushovski, Thomas Scanlon posted by 1 person dmitri83
	A Topology for Galois Types in AECs [My Copy] (19 Jun 2009) by Michael Lieberman posted by 1 person dmitri83
	Simple groups of finite morley rank and Tits buildings [My Copy] Israel Journal of Mathematics, Vol. 109, No. 1. (27 December 1999), pp. 189-224. by Linus Kramer, Katrin Tent, Hendrik Van Maldeghem posted by 1 person dmitri83
	The Algebraic Theory of the Fundamental Germ [My Copy] (14 Jun 2005) by T. M. Gendron posted by 1 person dmitri83
	Constructible exponential functions, motivic Fourier transform and transfer principle [My Copy] (1 Dec 2005) by R. Cluckers, F. Loeser posted by 1 person dmitri83
	Endomorphisms of symbolic algebraic varieties [My Copy] Journal of the European Mathematical Society, Vol. 1, No. 2. (25 April 1999), pp. 109-197. by M. Gromov posted by 1 person dmitri83
	Introduction to: classification theory for abstract elementary class [My Copy] (20 Mar 2009) by Saharon Shelah posted by 1 person dmitri83
	Motivic Poisson summation [My Copy] (5 Feb 2009) by Ehud Hrushovski, David Kazhdan posted by 1 person dmitri83
	Integration in valued fields [My Copy] (28 Apr 2006) by Ehud Hrushovski, David Kazhdan posted by 1 person dmitri83
	How to use finite fields for problems concerning infinite fields [My Copy] (3 Mar 2009) by Jean-Pierre Serre posted by 6 people dmitri83 jleny jedal Pomm deepthought davidmbrownjr
	Stability and Bounded Balls of Free Products [My Copy] (21 Jan 2009) by Azadeh Neman posted by 1 person dmitri83
	Groups, measures, and the NIP [My Copy] (18 Jul 2006) by Ehud Hrushovski, Ya'acov Peterzil, Anand Pillay posted by 1 person dmitri83
	Groupoids, imaginaries and internal covers [My Copy] (16 Mar 2006) by Ehud Hrushovski posted by 1 person dmitri83
	Fibrations with noncommutative fibers [My Copy] (1 Oct 2008) by Siegfried Echterhoff, Ryszard Nest, Herve Oyono-Oyono posted by 1 person dmitri83
	A Simple Introduction to Particle Physics [My Copy] (18 Oct 2008) by M. Robinson, K. Bland, G. Cleaver, J. Dittmann posted by 8 people navins janpaniev NitinCR pawelsobko pqnelson shanki dmitri83 melvineloy
	On the notion of geometry over $\F_1$ [My Copy] (22 Feb 2009) by Alain Connes, Caterina Consani posted by 3 people corneliuhoffman dmitri83 deepthought
	What is Motivic Measure? [My Copy] (6 May 2005) by Thomas C. Hales posted by 1 person dmitri83
	Noncommutative geometry and dual coalgebras [My Copy] (15 May 2008) by Lieven Le Bruyn posted by 2 people dmitri83 dbirmajer
	A note on clique-width and tree-width for structures [My Copy] (2 Jun 2008) by Hans Adler, Isolde Adler posted by 1 person dmitri83
	Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [My Copy] (10 May 2008) by Guillaume Burel posted by 2 people jrw dmitri83
	The modal logic of forcing [My Copy] (27 Sep 2005) by Joel D. Hamkins, Benedikt Loewe posted by 1 person dmitri83
	Canonical varieties with no canonical axiomatisation [My Copy] (2003) by I. Hodkinson, Y. Venema posted by 1 person dmitri83
	Revêtements étales et groupe fondamental (SGA 1) [My Copy] (4 Jan 2004) by Alexander Grothendieck, Michele Raynaud posted by 2 people dmitri83 larki
	Motivic measures [My Copy] (21 Oct 2000) by Eduard Looijenga posted by 1 person dmitri83
	Desingularizations of Schubert varieties in double Grassmannians [My Copy] (22 Aug 2006) by Evgeny Smirnov posted by 1 person dmitri83
	Conics, (q+1)-Arcs, Pencil Concept of Time and Psychopathology [My Copy] (2 Jan 2003) by Metod Saniga posted by 1 person dmitri83
	Zero-energy states in corrugated bilayer graphene [My Copy] (11 Feb 2008) by M. I. Katsnelson, M. F. Prokhorova posted by 1 person dmitri83
	A Cheerful Introduction to Forcing and the Continuum Hypothesis [My Copy] (14 Dec 2007) by Kenny Easwaran posted by 5 people JoseBrox proportional dmitri83 archernikov Model theory
	Foundations for abstract forcing [My Copy] (12 Dec 2007) by Peter M. Johnson posted by 3 people dmitri83 archernikov Model theory
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted by 10 people JoseBrox pirapira jrw qwermish ansobol dmitri83 archernikov jedal Model theory teesid
	Minimal types in super-dependent theories [My Copy] (1 Nov 2007) by Assaf Hasson, Alf Onshuus posted by 1 person dmitri83
	On generically stable types in dependent theories [My Copy] (3 Sep 2007) by Alexander Usvyatsov posted by 1 person dmitri83
	The Modal Logic of the Countable Random Frame [My Copy] by Valentin Goranko, Bruce Kapron posted by 2 people dmitri83 archernikov
	Introduction to the language of stacks and gerbes [My Copy] (19 Dec 2002) by Ieke Moerdijk posted by 2 people mnev dmitri83
	Why the Standard Model [My Copy] (25 Jun 2007) by Ali H. Chamseddine, Alain Connes posted by 4 people melvineloy ansobol zeze dmitri83
	Explanation of Independence [My Copy] (24 Nov 2005) by Hans Adler posted by 2 people dmitri83 archernikov
	The notion of dimension in geometry and algebra [My Copy] (1 Feb 2005) by Yuri I. Manin posted by 3 people dmitri83 scis0000001 tarampam
	Lecture notes on C-algebras, Hilbert C-modules, and quantum mechanics [My Copy] (24 Jul 1998) by N. P. Landsman posted by 4 people jrw mnev dmitri83 kevina
	Model theory and Kaehler geometry [My Copy] (15 Feb 2007) by Rahim Moosa, Anand Pillay posted by 2 people dmitri83 Scis0000002
	Model theory without choice: Categoricity [My Copy] (24 Feb 2007) by Saharon Shelah posted by 1 person dmitri83
	Proof Nets and the Identity of Proofs [My Copy] (20 Nov 2006) by Lutz Strassburger posted by 2 people dmitri83 Scis0000002
	An automata theoretic decision procedure for the propositional mu-calculus [My Copy] Inf. Comput., Vol. 81, No. 3. (June 1989), pp. 249-264. by Robert S. Streett, Allen E. Emerson posted by 2 people sgwyj dmitri83
	Ultratopologies [My Copy] MLQ, Vol. 50, No. 6. (2004), pp. 603-612. by Gábor Sági, János Gerlits posted by 1 person dmitri83
	The uncountable spectra of countable theories [My Copy] (1 Jul 2000) by Bradd Hart, Ehud Hrushovski, Michael C. Laskowski posted by 1 person dmitri83
	Hamilton-Perelman's Proof of the Poincaré Conjecture and the Geometrization Conjecture [My Copy] (3 Dec 2006) by Huai-Dong Cao, Xi-Ping Zhu posted by 2 people proportional dmitri83
	Toward classifying unstable theories [My Copy] (15 Aug 1995) by Saharon Shelah posted by 1 person dmitri83
	Can you feel the double jump? [My Copy] (15 Jan 1994) by Saharon Shelah, Joel Spencer posted by 2 people dmitri83 artur
	New results on rewrite-based satisfiability procedures [My Copy] (22 Nov 2006) by Alessandro Armando, Maria P. Bonacina, Silvio Ranise, Stephan Schulz posted by 1 person dmitri83
	Line Bundles over Quantum Tori [My Copy] (7 Dec 2006) by Lawrence Taylor posted by 1 person dmitri83
	Disjunctive Tautologies as Synchronisation Schemes [My Copy] In CSL (2000), pp. 292-301. by Vincent Danos, Jean L. Krivine posted by 1 person dmitri83
	Constraint Databases: A Survey [My Copy] In Semantics in Databases (1995), pp. 209-246. by Peter Z. Revesz posted by 1 person dmitri83
	Embedded Finite Models, Stability Theory and the Impact of Order [My Copy] In Logic in Computer Science (1998), pp. 490-500. by John T. Baldwin, Michael Benedikt posted by 1 person dmitri83
	On-line topological simplification of weighted graphs [My Copy] (23 Aug 2006) by Floris Geerts, Peter Revesz, Jan Van den Bussche posted by 1 person dmitri83
	Linear Abadi and Plotkin Logic [My Copy] (4 Nov 2006) by Lars Birkedal, Rasmus E. Møgelberg, Rasmus posted by 1 person dmitri83
	Expressiveness of Metric modalities for continuous time [My Copy] (22 Nov 2006) by Yoram Hirshfeld, Alexander Rabinovich posted by 2 people dmitri83 scis0000001