Dmitry Sustretov's Top Recommendations

These recommendations were last updated 10 minutes ago.

	Definability of Types, and Pairs of O-Minimal Structures [My Copy] The Journal of Symbolic Logic, Vol. 59, No. 4. (1994), pp. 1400-1409. by Anand Pillay
	On Decidability Properties of Local Sentences [My Copy] (2 Dec 2007) by Olivier Finkel
	Maximal Small Extensions [My Copy] (4 Dec 2007) by Janak Ramakrishnan
	Definability of group theoretic notions [My Copy] (2000) by A. Koponen, K. Luosto posted by 1 person archernikov
	Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time [My Copy] Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings (2003), pp. 185-199. by Olivier Bournez, Felipe Cucker, Paulin J. Naurois, Jean-Yves Marion posted by 1 person archernikov
	Ind- and Pro- definable sets [My Copy] (7 Aug 2006) by Moshe Kamensky posted by 1 person archernikov
	Interpreting Random Hypergraphs in Pseudofinite Fields [My Copy] (31 Dec 2006) by Ozlem Beyarslan posted by 1 person archernikov
	What is good mathematics? [My Copy] (13 Feb 2007) by Terence Tao posted by 11 people JoseBrox jpburelle jjray NitinCR ansobol Borelli arsyed kevina norris archernikov eduenez
	Response to comments on “Theoretical mathematics” [My Copy] (1 Apr 1994) by Arthur Jaffe, Frank Quinn posted by 4 people ansobol jrw proportional archernikov
	Responses to “Theoretical Mathematics: Toward a cultural synthesis of mathematics and theoretical physics”, by A. Jaffe and F. Quinn [My Copy] (1 Apr 1994) by Michael Atiyah, Armand Borel, G. J. Chaitin, et al.Daniel Friedan, James Glimm, Jeremy J. Gray, Morris W. Hirsch, Saunder Maclane, Benoit B. Mandelbrot, David Ruelle, Albert Schwarz, Karen Uhlenbeck, René Thom, Edward Witten, Christopher Zeeman posted by 4 people ansobol jrw proportional archernikov
	A Relevant Analysis of Natural Deduction [My Copy] Journal of Logic and Computation, Vol. 8, No. 6. (1998), pp. 809-838. by Samin S. Ishtiaq, David J. Pym posted by 1 person EdwardKmett
	A Module Calculus for Pure Type Systems [My Copy] In Proceedings fo the Third International Conference on Typed Lambda Calculus and Applications (TLCA'97) (1997) by Judicael Courant edited by R. Hindley posted by 2 people EdwardKmett Benja
	A Syntax for Linear Logic [My Copy] In Mathematical Foundations of Programming Semantics 9th International Conference, New Orleans, LA, {USA}, Proceedings, Vol. 802 (1993), pp. 513-529. by Philip Wadler edited by S. Brookes, M. Main, A. Melton, M. Mislove, D. Schmidt posted by 2 people EdwardKmett glaubersp
	Secure Information Flow and CPS [My Copy] Lecture Notes in Computer Science, Vol. 2028 (2001), pp. 46-??. by Steve Zdancewic, Andrew C. Myers posted by 1 person EdwardKmett
	Linear Continuations [My Copy] In Conference Record of the Nineteenth Annual ACM {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (1992), pp. 27-38. by Andrzej Filinski posted by 1 person EdwardKmett
	On Affine Typing and Completeness of CPS [My Copy] by Josh Berdine, Peter W. O'Hearn, Hayo Thielecke posted by 3 people network03 blog01 EdwardKmett
	Linear Continuation-Passing [My Copy] by Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke posted by 1 person EdwardKmett
	Linear Continuation-Passing [My Copy] by Josh Berdine, Peter O'Hearn posted by 1 person EdwardKmett
	Declarative Continuations and Categorical Duality [My Copy] (1989) by Andrzej Filinski posted by 1 person EdwardKmett
	A Constructive Restriction of the $λμ$-Calculus [My Copy] (1999) by Tristan Crolard posted by 1 person EdwardKmett
	From dynamic binding to state via modal possibility [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 207-218. by Aleksandar Nanevski posted by 4 people dherman alec EdwardKmett NU-PRL
	Scrap your Nameplate - Functional Pearl [My Copy] by James Cheney posted by 5 people jrw zednenem jburnim EdwardKmett AndreasSchropp
	A Survey of Definitions of n-Category [My Copy] (25 Jul 2001) by Tom Leinster posted by 3 people jrw kaqui EdwardKmett
	The origins of structural operational semantics [My Copy] (2003) by G. Plotkin posted by 3 people dherman EdwardKmett NU-PRL
	A Typed Lambda Calculus with Categorical Type Constructors [My Copy] In Category Theory and Computer Science (1987), pp. 140-157. by Tatsuya Hagino posted by 2 people msakai EdwardKmett
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted by 9 people greenrd jrw greg_restall zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	Recursion schemes from comonads [My Copy] Nordic J. of Computing, Vol. 8, No. 3. (2001), pp. 366-390. by Tarmo Uustalu, Varmo Vene, Alberto Pardo posted by 5 people spl greenrd zednenem EdwardKmett SRG_at_UCD
	A Lambda Calculus for Quantum Computation [My Copy] (3 April 2004) by Andre v. van Tonder posted by 4 people jrw EdwardKmett tov bendiken
	Subtractive logic [My Copy] Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185. by Tristan Crolard posted by 4 people msakai dherman EdwardKmett NU-PRL
	Relating Categorical Semantics for Intuitionistic Linear Logic [My Copy] Applied Categorical Structures, Vol. 13, No. 1. (January 2005), pp. 1-36. by Maietti Maria, Maneggia Paola, Paiva Valeria, Ritter Eike posted by 2 people adrian_pigors EdwardKmett
	First-order intensional logic [My Copy] Annals of Pure and Applied Logic, Vol. 127, No. 1-3. (June 2004), pp. 171-193. by M. Fitting posted by 1 person kozima
	Counterparts of Persons and Their Bodies [My Copy] The Journal of Philosophy, Vol. 68, No. 7. (1971), pp. 203-211. by David Lewis posted by 1 person kozima
	Counterpart Theory and Quantified Modal Logic [My Copy] The Journal of Philosophy, Vol. 65, No. 5. (1968), pp. 113-126. by David K. Lewis posted by 1 person kozima
	Intuitionistic Propositional Logic with Galois Connections [My Copy] Logic Jnl IGPL (20 October 2009), jzp057. by Wojciech Dzik, Jouni Jarvinen, Michiro Kondo posted by 1 person kozima
	Intuitionistic hybrid logic [My Copy] Journal of Applied Logic, Vol. 4, No. 3. (September 2006), pp. 231-255. by T. Brauner, V. Depaiva posted by 2 people robertjohnsimmons kozima
	Using modal logics to express and check global graph properties [My Copy] Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 509-537. by Mario R. F. Benevides, L. Menasche Schechter posted by 1 person kozima
	On the convergence of reduction-based and model-based methods in proof theory [My Copy] Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 489-497. by Gilles Dowek posted by 2 people pirapira kozima
	HSP-type Characterization of Strong Equational Classes of Partial Algebras [My Copy] Studia Logica by Bogdan Staruch posted by 1 person kozima
	Logics of Kripke meta-models [My Copy] Logic Jnl IGPL (3 September 2009), jzp047. by Sergey Babenyshev, Vladimir Rybakov posted by 1 person kozima
	First-Order Modal Logic (Synthese Library) [My Copy] (01 October 1998) by M. Fitting, Richard L. Mendelsohn posted by 1 person kozima
	Topological duality for intuitionistic modal algebras [My Copy] Journal of Pure and Applied Algebra, Vol. 148, No. 2. (28 April 2000), pp. 171-189. by B. Hilken posted by 1 person kozima
	A Simplified Embedding of E into Monomodal K [My Copy] Logic Jnl IGPL (9 July 2009), jzp024. by Rohan French posted by 1 person kozima
	Multi-valued Semantics: Why and How [My Copy] Studia Logica by Arnon Avron posted by 2 people MichaelDe kozima
	Truth Values and Proof Theory [My Copy] Studia Logica by Greg Restall posted by 2 people MichaelDe kozima
	Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning) [My Copy] (25 December 2006) posted by 1 person kozima
	Distributed Control Flow with Classical Modal Logic [My Copy] In 14th Annual Conference of the European Association for Computer Science Logic (CSL 2005), Lecture Notes in Computer Science (2005) by Tom Murphy vii, Karl Crary, Robert Harper, Tom Murphy, Vii Karl, Crary R. Harper posted by 1 person kozima
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by V. Tom Murphy, Karl Crary, Robert Harper, Frank Pfenning posted by 4 people pirapira ConcertRG robertjohnsimmons kozima
	Categorical characterization of the MacNeille completion [My Copy] Archiv der Mathematik, Vol. 18, No. 4. (30 September 1967), pp. 369-377. by B. Banaschewski, G. Bruns posted by 1 person kozima
	Propositional Lax Logic [My Copy] Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 1-33. by M. Fairtlough posted by 2 people robertjohnsimmons kozima
	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic [My Copy] Logic and Its Applications (2009), pp. 170-184. by Yoshihiro Maruyama posted by 1 person kozima
	Perceptual learning and the technology of expertise Studies in fraction learning and algebra [My Copy] Pragmatics & Cognition (2008), pp. 356-405. by Philip J. Kellman, Christine Massey, Zipora Roth, et al.Timothy Burke, Joel Zucker, Amanda Sawa, Katherine E. Aguero, Joseph A. Wise posted by 1 person kozima
	A framework for intuitionistic modal logics: extended abstract [My Copy] In TARK '86: Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge (1986), pp. 399-406. by Gordon Plotkin, Colin Stirling posted by 1 person kozima
	A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness [My Copy] The Journal of Symbolic Logic, Vol. 54, No. 3. (1989), pp. 992-999. by G. Sambin, V. Vaccaro posted by 1 person kozima
	Objects of Categories as Complex Numbers [My Copy] (30 Dec 2002) by Marcelo Fiore, Tom Leinster posted by 1 person kozima
	Logics Without the Contraction Rule [My Copy] The Journal of Symbolic Logic, Vol. 50, No. 1. (1985), pp. 169-201. by Hiroakira Ono, Yuichi Komori posted by 1 person kozima
	Modal companions of intermediate propositional logics [My Copy] Studia Logica, Vol. 51, No. 1. (1 March 1992), pp. 49-82. by Alexander Chagrov, Michael Zakharyashchev posted by 1 person kozima
	Intuitionistic modal logics as fragments of classical bimodal logics [My Copy] In Logic at Work (1997), pp. 168-186. by Frank Wolter, Michael Zakharyaschev posted by 1 person kozima
	The ForSpec Temporal Logic: A New Temporal Property-Specification Language [My Copy] In TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2002), pp. 296-211. by Roy Armoni, Limor Fix, Alon Flaisher, et al.Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela M. Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar posted by 1 person kozima
	On the relation between intuitionistic and classical modal logics [My Copy] Algebra and Logic, Vol. 36 (1997), pp. 73-92. by Frank Wolter, Michael Zakharyaschev posted by 1 person kozima
	A topological characterization of weakness [My Copy] In PODC '05: Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing (2005), pp. 1-8. by Cindy Eisner, Dana Fisman, John Havlicek posted by 1 person kozima
	The temporal semantics of concurrent programs [My Copy] Theoretical Computer Science, Vol. 13, No. 1. (1981), pp. 45-60. by Amir Pnueli posted by 1 person kozima
	Locus Solum: From the Rules of Logic to the Logic of Rules [My Copy] Computer Science Logic (2001), pp. 38-38. by Jean-Yves Girard posted by 1 person kozima
	Modal logics for communicating systems [My Copy] Theor. Comput. Sci., Vol. 49, No. 2-3. (1987), pp. 311-347. by C. Stirling posted by 1 person kozima
	Logical modalities and multi-stage programming [My Copy] (1999) by Z. Benaissa, E. Moggi, W. Taha, T. Sheard posted by 1 person kozima
	Proof-theoretical investigation of temporal logic with time gaps [My Copy] Lithuanian Mathematical Journal, Vol. 40, No. 3. (10 July 2000), pp. 197-212. by R. Alonderis posted by 1 person kozima
	Modal and temporal logics [My Copy] (1992), pp. 477-563. by Colin Stirling posted by 1 person kozima
	A computational interpretation of modal proofs [My Copy] In Proof Theory of Modal Logics (1995) by S. Martini, A. Masini edited by H. Wansing posted by 1 person kozima
	A Gentle Introduction to Multi-stage Programming [My Copy] Domain-Specific Program Generation (2004), pp. 30-50. by Walid Taha posted by 1 person kozima
	Completeness of a First-order Temporal Logic with Time-Gaps [My Copy] Theor. Comp. Sci., Vol. 160 (1996), pp. 241-270. by Matthias Baaz, Alexander Leitsch, Richard Zach posted by 1 person kozima
	A complete axiomatic characterization of first-order temporal logic of linear time [My Copy] Theor. Comput. Sci., Vol. 54, No. 2-3. (1987), pp. 199-214. by Andrzej Szalas posted by 1 person kozima
	Injective and Projective Heyting Algebras [My Copy] Transactions of the American Mathematical Society, Vol. 148, No. 2. (1970), pp. 549-559. by Raymond Balbes, Alfred Horn posted by 1 person kozima
	On the temporal analysis of fairness [My Copy] In POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980), pp. 163-173. by Dov Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi posted by 1 person kozima
	Intuitionistic LTL and a New Characterization of Safety and Liveness [My Copy] Computer Science Logic (2004), pp. 295-309. by Patrick Maier posted by 1 person kozima
	Reasoning with Temporal Logic on Truncated Paths [My Copy] Computer Aided Verification (2003), pp. 27-39. by Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony Mcisaac, David Van Campenhout posted by 1 person kozima
	Constructive Modal Logics I [My Copy] Ann. Pure Appl. Logic, Vol. 50, No. 3. (1990), pp. 271-301. by Duminda Wijesekera posted by 1 person kozima
	Products of Modal Logics. Part 3: Products of Modal and Temporal Logics [My Copy] Studia Logica, Vol. 72, No. 2. (1 November 2002), pp. 157-183. by Dov Gabbay, Valentin Shehtman posted by 1 person kozima
	Tableaux for constructive concurrent dynamic logic [My Copy] Annals of Pure and Applied Logic, Vol. 135, No. 1-3. (September 2005), pp. 1-72. by Duminda Wijesekera, Anil Nerode posted by 1 person kozima
	A judgmental reconstruction of modal logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540. by Frank Pfenning, Rowan Davies posted by 2 people darinm kozima
	A Temporal-Logic Approach to Binding-Time Analysis [My Copy] In Logic in Computer Science (1996), pp. 184-195. by Rowan Davies posted by 1 person kozima
	A Modal Analysis of Staged Computation [My Copy] In Conf.\ Record 23rd ACM {SIGPLAN}/{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'96, St.~Petersburg Beach, {FL}, {USA}, 21--24 Jan 1996 (1996), pp. 258-270. by Rowan Davies, Frank Pfenning posted by 1 person kozima
	Global Variables in Haskell [My Copy] by John H. Department posted by 2 people msakai kozima
	A modal type system for multi-level generating extensions with persistent code [My Copy] In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 201-212. by Yosihiro Yuse, Atsushi Igarashi posted by 2 people msakai kozima
	An algebraic generalization of Kripke structures [My Copy] ArXiv e-prints, Vol. 704 (April 2007) by S. Marcelino, P. Resende posted by 2 people kozima Scis0000002
	On an Intuitionistic Modal Logic [My Copy] Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416. by G. M. Bierman, V. C. V. de Paiva posted by 3 people glaubersp complogic kozima
	Generalized Kripke Frames [My Copy] Studia Logica, Vol. 84, No. 2. (November 2006), pp. 241-275. by Gehrke, Mai posted by 1 person kozima
	Girard translation and logical predicates [My Copy] Journal of Functional Programming, Vol. 10 (2000), pp. 77-89. by M. Hasegawa posted by 1 person kozima
	Primitive recursion for higher-order abstract syntax [My Copy] Theor. Comput. Sci., Vol. 266, No. 1-2. (2001), pp. 1-57. by Carsten Schurmann, Joelle Despeyroux, Frank Pfenning posted by 2 people robertjohnsimmons kozima
	Synchronization of Logics with Mixed Rules: Completeness Preservation [My Copy] In Algebraic Methodology and Software Technology (1997), pp. 465-478. by Amilcar Sernadas, Cristina Sernadas, Carlos Caleiro posted by 2 people blog01 kozima
	Synchronization of Logics [My Copy] Studia Logica, Vol. 59, No. 2. (1997), pp. 217-247. by A. Sernadas, C. Sernadas, C. Caleiro posted by 2 people kozima scis0000001
	A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract) [My Copy] In CSL (1994), pp. 121-135. by P. N. Benton posted by 2 people msakai kozima
	Modal Logic [My Copy] (15 November 2002) by Patrick Blackburn, Maarten de Rijke, Yde Venema posted by 4 people mperalta kozima terumiyake shenshei
	Game Semantics [My Copy] (1998) by Samson Abramsky, Guy Mccusker posted by 2 people kozima msakai
	Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi [My Copy] In Typed Lambda Calculus and Applications (1997), pp. 196-213. by Masahito Hasegawa posted by 2 people kozima iga
	Translating Dependency into Parametricity [My Copy] by Stephen T. Steve posted by 1 person kozima
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted by 6 people robotact ConcertRG kozima spl varming bfraser
	A core calculus of dependency [My Copy] In POPL '99. Proceedings of the 26th {ACM} {SIGPLAN-{SIGACT}} on Principles of programming languages, January 20--22, 1999, San Antonio, {TX} (1999), pp. 147-160. by Mart∈ Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke edited by M. Ac posted by 6 people amorkan kozima kontakte scavadini mrkoot tesissvc
	Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic [My Copy] by Gianluigi Bellin, Valeria de Paiva, Eike Ritter posted by 2 people vcvpaiva kozima
	Categorical and Kripke Semantics for Constructive S4 Modal Logic [My Copy] In Proceedings 15th Int.\ Workshop on Computer Science Logic, CSL'01, Paris, France, 10--13 Sept.\ 2001, Vol. 2142 (2001), pp. 292-307. by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter edited by L. Fribourg posted by 3 people Scis0000002 vcvpaiva kozima
	Computational Types from a Logical Perspective [My Copy] Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193. by P. N. Benton, Gavin Bierman, Valeria de Paiva posted by 3 people kozima vcvpaiva jsala
	DSL Implementation in [My Copy] by Metaocaml T. Haskell posted by 5 people kavabean stagediver kozima glaubersp Scis0000002