Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "second-order calculus"
download as .bib file
@article{DBLP:journals/symmetry/Fiori22,
author = {Simone G. O. Fiori},
title = {Manifold Calculus in System Theory and Control - Second Order Structures
and Systems},
journal = {Symmetry},
volume = {14},
number = {6},
pages = {1144},
year = {2022},
url = {https://doi.org/10.3390/sym14061144},
doi = {10.3390/SYM14061144},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/Fiori22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Laird20,
author = {James Laird},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {A Curry-style Semantics of Interaction: From Untyped to Second-Order
Lazy {\(\lambda\)} {\(\mu\)}-Calculus},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {422--441},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_22},
doi = {10.1007/978-3-030-45231-5\_22},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Laird20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcma/NaitoY19a,
author = {Riu Naito and
Toshihiro Yamada},
title = {A second-order discretization for forward-backward SDEs using local
approximations with Malliavin calculus},
journal = {Monte Carlo Methods Appl.},
volume = {25},
number = {4},
pages = {341--361},
year = {2019},
url = {https://doi.org/10.1515/mcma-2019-2053},
doi = {10.1515/MCMA-2019-2053},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mcma/NaitoY19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Hamana17,
author = {Makoto Hamana},
title = {How to prove your calculus is decidable: practical applications of
second-order algebraic theories and computation},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {22:1--22:28},
year = {2017},
url = {https://doi.org/10.1145/3110266},
doi = {10.1145/3110266},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Hamana17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LahavA15,
author = {Ori Lahav and
Arnon Avron},
title = {A cut-free calculus for second-order G{\"{o}}del logic},
journal = {Fuzzy Sets Syst.},
volume = {276},
pages = {1--30},
year = {2015},
url = {https://doi.org/10.1016/j.fss.2015.01.017},
doi = {10.1016/J.FSS.2015.01.017},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/LahavA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030812,
author = {Nikolai P. Osmolovskii and
Helmut Maurer},
title = {Applications to Regular and Bang-Bang Control - Second-Order Necessary
and Sufficient Optimality Conditions in Calculus of Variations and
Optimal Control},
series = {Advances in design and control},
volume = {24},
publisher = {{SIAM}},
year = {2012},
url = {https://doi.org/10.1137/1.9781611972368},
doi = {10.1137/1.9781611972368},
isbn = {978-1-611-97235-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0030812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GadducciLV12,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {Counterpart Semantics for a Second-Order {\(\mu\)}-Calculus},
journal = {Fundam. Informaticae},
volume = {118},
number = {1-2},
pages = {177--205},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-709},
doi = {10.3233/FI-2012-709},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GadducciLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/MordukhovichR12,
author = {Boris S. Mordukhovich and
R. Tyrrell Rockafellar},
title = {Second-Order Subdifferential Calculus with Applications to Tilt Stability
in Optimization},
journal = {{SIAM} J. Optim.},
volume = {22},
number = {3},
pages = {953--986},
year = {2012},
url = {https://doi.org/10.1137/110852528},
doi = {10.1137/110852528},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/MordukhovichR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LeitschL12,
author = {Alexander Leitsch and
Tomer Libal},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {A Resolution Calculus for Second-order Logic with Eager Unification},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {95},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/zpg2},
doi = {10.29007/ZPG2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LeitschL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpsc/Kurina12,
author = {Galina A. Kurina},
editor = {Hans Georg Bock and
Hoang Xuan Phu and
Rolf Rannacher and
Johannes P. Schl{\"{o}}der},
title = {Inverse Problem of the Calculus of Variations for Second Order Differential
Equations with Deviating Arguments},
booktitle = {Modeling, Simulation and Optimization of Complex Processes - {HPSC}
2012, Proceedings of the Fifth International Conference on High Performance
Scientific Computing, March 5-9, 2012, Hanoi, Vietnam},
pages = {109--119},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-319-09063-4\_9},
doi = {10.1007/978-3-319-09063-4\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpsc/Kurina12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GianantonioJL10,
author = {Pietro Di Gianantonio and
Svetlana Jaksic and
Marina Lenisa},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Efficient Bisimilarities from Second-Order Reaction Semantics for
\emph{pi}-Calculus},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {358--372},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_25},
doi = {10.1007/978-3-642-15375-4\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GianantonioJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ColucciNSDR10,
author = {Simona Colucci and
Tommaso Di Noia and
Eugenio Di Sciascio and
Francesco M. Donini and
Azzurra Ragone},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Second-Order Description Logics: Semantics, Motivation, and a Calculus},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_41.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ColucciNSDR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GadducciLV10,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Counterpart Semantics for a Second-Order \emph{{\(\mathrm{\mu}\)}}-Calculus},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {282--297},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_19},
doi = {10.1007/978-3-642-15928-2\_19},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/GadducciLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-2727,
author = {Pietro Di Gianantonio and
Furio Honsell and
Marina Lenisa},
title = {RPO, Second-order Contexts, and Lambda-calculus},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {3},
year = {2009},
url = {http://arxiv.org/abs/0906.2727},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-2727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ColsonM09,
author = {Lo{\"{\i}}c Colson and
David Michel},
title = {Pedagogical second-order lambda-calculus},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {42},
pages = {4190--4203},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.04.020},
doi = {10.1016/J.TCS.2009.04.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ColsonM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GianantonioHL08,
author = {Pietro Di Gianantonio and
Furio Honsell and
Marina Lenisa},
editor = {Roberto M. Amadio},
title = {RPO, Second-Order Contexts, and lambda-Calculus},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {334--349},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_24},
doi = {10.1007/978-3-540-78499-9\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GianantonioHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CookM05,
author = {Stephen A. Cook and
Tsuyoshi Morioka},
title = {Quantified propositional calculus and a second-order theory for NC\({}^{\mbox{1}}\)},
journal = {Arch. Math. Log.},
volume = {44},
number = {6},
pages = {711--749},
year = {2005},
url = {https://doi.org/10.1007/s00153-005-0282-2},
doi = {10.1007/S00153-005-0282-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CookM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AehligJ05,
author = {Klaus Aehlig and
Jan Johannsen},
title = {An elementary fragment of second-order lambda calculus},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {2},
pages = {468--480},
year = {2005},
url = {https://doi.org/10.1145/1055686.1055695},
doi = {10.1145/1055686.1055695},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AehligJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JaninL04,
author = {David Janin and
Giacomo Lenzi},
title = {On the Rlationship Between Monadic and Weak Monadic Second Order Logic
on Arbitrary Trees, with Applications to the mu-Calculus},
journal = {Fundam. Informaticae},
volume = {61},
number = {3-4},
pages = {247--265},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi61-3-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JaninL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Yamagata04,
author = {Yoriyuki Yamagata},
title = {Strong normalization of the second-order symmetric lambda mu -calculus},
journal = {Inf. Comput.},
volume = {193},
number = {1},
pages = {1--20},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.04.002},
doi = {10.1016/J.IC.2004.04.002},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Yamagata04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Yamagata02,
author = {Yoriyuki Yamagata},
title = {Strong normalization of a symmetric lambda calculus for second-order
classical logic},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {91--99},
year = {2002},
url = {https://doi.org/10.1007/s001530200007},
doi = {10.1007/S001530200007},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Yamagata02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0210022,
author = {Klaus Aehlig and
Jan Johannsen},
title = {An Elementary Fragment of Second-Order Lambda Calculus},
journal = {CoRR},
volume = {cs.LO/0210022},
year = {2002},
url = {https://arxiv.org/abs/cs/0210022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0210022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Rohde01,
author = {Philipp Rohde},
editor = {Erich Gr{\"{a}}del and
Wolfgang Thomas and
Thomas Wilke},
title = {Expressive Power of Monadic Second-Order Logic and Modal {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
[outcome of a Dagstuhl seminar, February 2001]},
series = {Lecture Notes in Computer Science},
volume = {2500},
pages = {239--257},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36387-4\_14},
doi = {10.1007/3-540-36387-4\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Rohde01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Yamagata01,
author = {Yoriyuki Yamagata},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Strong Normalization of Second Order Symmetric Lambda-mu Calculus},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {459--467},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_23},
doi = {10.1007/3-540-45500-0\_23},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Yamagata01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Matthes01,
author = {Ralph Matthes},
editor = {Samson Abramsky},
title = {Parigot's Second Order lambda-mu-Calculus and Inductive Types},
booktitle = {Typed Lambda Calculi and Applications, 5th International Conference,
{TLCA} 2001, Krakow, Poland, May 2-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2044},
pages = {329--343},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45413-6\_26},
doi = {10.1007/3-540-45413-6\_26},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Matthes01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Parigot00,
author = {Michel Parigot},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Strong Normalization of Second Order Symmetric lambda-Calculus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {442--453},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_36},
doi = {10.1007/3-540-44450-5\_36},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Parigot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Gallier97a,
author = {Jean H. Gallier},
title = {Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus},
journal = {Ann. Pure Appl. Log.},
volume = {84},
number = {3},
pages = {257--316},
year = {1997},
url = {https://doi.org/10.1016/S0168-0072(96)00039-5},
doi = {10.1016/S0168-0072(96)00039-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Gallier97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Xi97,
author = {Hongwei Xi},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Simulating eta-expansions with beta-reductions in the Second-Order
Polymorphic lambda-calculus},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {399--409},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_40},
doi = {10.1007/3-540-63045-7\_40},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Xi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Castagna96,
author = {Giuseppe Castagna},
title = {Integration of Parametric and "ad hoc" Second Order Polymorphism in
a Calculus with Subtyping},
journal = {Formal Aspects Comput.},
volume = {8},
number = {3},
pages = {247--293},
year = {1996},
url = {https://doi.org/10.1007/BF01214916},
doi = {10.1007/BF01214916},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Castagna96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JaninW96,
author = {David Janin and
Igor Walukiewicz},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On the Expressive Completeness of the Propositional mu-Calculus with
Respect to Monadic Second Order Logic},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {263--277},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_60},
doi = {10.1007/3-540-61604-7\_60},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/JaninW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Cosmo95,
author = {Roberto Di Cosmo},
title = {Second Order Isomorphic Types: {A} Proof Theoretic Study on Second
Order lambda-Calculus with Surjective Paring and Terminal Object},
journal = {Inf. Comput.},
volume = {119},
number = {2},
pages = {176--201},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1085},
doi = {10.1006/INCO.1995.1085},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Cosmo95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Krivine94,
author = {Jean{-}Louis Krivine},
title = {Classical Logic, Storage Operators and Second-Order lambda-Calculus},
journal = {Ann. Pure Appl. Log.},
volume = {68},
number = {1},
pages = {53--78},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90047-7},
doi = {10.1016/0168-0072(94)90047-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Krivine94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Aarts94,
author = {Erik Aarts},
title = {Proving theorems of the second order Lambek calculus in polynominal
time},
journal = {Stud Logica},
volume = {53},
number = {3},
pages = {373--388},
year = {1994},
url = {https://doi.org/10.1007/BF01057934},
doi = {10.1007/BF01057934},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Aarts94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Boerio94,
author = {Luca Boerio},
editor = {Donald Sannella},
title = {Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {120--134},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_8},
doi = {10.1007/3-540-57880-3\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Boerio94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/KfouryW94,
author = {A. J. Kfoury and
J. B. Wells},
editor = {Robert R. Kessler},
title = {A Direct Algorithm for Type Inference in the Rank-2 Fragment of the
Second-Order lambda-Calculus},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {196--207},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182456},
doi = {10.1145/182409.182456},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/KfouryW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Wells94,
author = {J. B. Wells},
title = {Typability and Type-Checking in the Second-Order lambda-Calculus are
Equivalent and Undecidable},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316068},
doi = {10.1109/LICS.1994.316068},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Wells94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Thomsen93,
author = {Bent Thomsen},
title = {Plain {CHOCS:} {A} Second Generation Calculus for Higher Order Processes},
journal = {Acta Informatica},
volume = {30},
number = {1},
pages = {1--59},
year = {1993},
url = {https://doi.org/10.1007/BF01200262},
doi = {10.1007/BF01200262},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Thomsen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/PollHE93,
author = {Erik Poll and
C. Hemerik and
Huub M. M. ten Eikelder},
title = {CPO-Models for Second Order Lambda Calculus with Recursive Types and
Subtyping},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {27},
number = {3},
pages = {221--260},
year = {1993},
url = {https://doi.org/10.1051/ita/1993270302211},
doi = {10.1051/ITA/1993270302211},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/PollHE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KfouryT92,
author = {A. J. Kfoury and
Jerzy Tiuryn},
title = {Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus},
journal = {Inf. Comput.},
volume = {98},
number = {2},
pages = {228--257},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90020-G},
doi = {10.1016/0890-5401(92)90020-G},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KfouryT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Mendler91,
author = {Nax Paul Mendler},
title = {Inductive Types and Type Constraints in the Second-Order lambda Calculus},
journal = {Ann. Pure Appl. Log.},
volume = {51},
number = {1-2},
pages = {159--172},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90069-X},
doi = {10.1016/0168-0072(91)90069-X},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Mendler91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Jacobs91,
author = {Bart Jacobs},
title = {Semantics of the Second Order Lambda Calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {1},
number = {3},
pages = {327--360},
year = {1991},
url = {https://doi.org/10.1017/S0960129500001341},
doi = {10.1017/S0960129500001341},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Jacobs91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BruceMM90,
author = {Kim B. Bruce and
Albert R. Meyer and
John C. Mitchell},
title = {The Semantics of Second-Order Lambda Calculus},
journal = {Inf. Comput.},
volume = {85},
number = {1},
pages = {76--134},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90044-I},
doi = {10.1016/0890-5401(90)90044-I},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BruceMM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Jacobs89,
author = {Bart Jacobs},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell
Models to Hyperdoctrine Models and Vice-Versa},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {198--212},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018353},
doi = {10.1007/BFB0018353},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Jacobs89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Amadio88,
author = {Roberto M. Amadio},
title = {A fixed point extension of the second order lambda-calculus: observable
equivalences and models},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5100},
doi = {10.1109/LICS.1988.5100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Amadio88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Smirnov87,
author = {Vladimir A. Smirnov},
title = {Strict embedding of the elementary ontology into the monadic second-order
calculus of predicates admitting the empty individual domain},
journal = {Stud Logica},
volume = {46},
number = {1},
pages = {1--15},
year = {1987},
url = {https://doi.org/10.1007/BF00396902},
doi = {10.1007/BF00396902},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Smirnov87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Martini87,
author = {Simone Martini},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {An Interval Model for Second-Order Lambda Calculus},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {219--237},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_28},
doi = {10.1007/3-540-18508-9\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Martini87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Mendler87,
author = {Nax Paul Mendler},
title = {Recursive Types and Type Constraints in Second-Order Lambda Calculus},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {30--36},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Mendler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AmadioBL86,
author = {Roberto M. Amadio and
Kim B. Bruce and
Giuseppe Longo},
title = {The Finitary Projection Model for Second Order Lambda Calculus and
Solutions to Higher Order Domain Equations},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {122--130},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AmadioBL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Scedrov84,
author = {Andrej Scedrov},
title = {On some non-classical extensions of second-order intuitionistic propositional
calculus},
journal = {Ann. Pure Appl. Log.},
volume = {27},
number = {2},
pages = {155--164},
year = {1984},
url = {https://doi.org/10.1016/0168-0072(84)90010-1},
doi = {10.1016/0168-0072(84)90010-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Scedrov84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Mitchell84,
author = {John C. Mitchell},
title = {Semantic Models for Second-Order Lambda Calculus},
booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm
Beach, Florida, USA, 24-26 October 1984},
pages = {289--299},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/SFCS.1984.715927},
doi = {10.1109/SFCS.1984.715927},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Mitchell84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/BruceM84,
author = {Kim B. Bruce and
Albert R. Meyer},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {The Semantics of Second Order Polymorphic Lambda Calculus},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {131--144},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_6},
doi = {10.1007/3-540-13346-1\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sdt/BruceM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Stroock81,
author = {Daniel W. Stroock},
title = {The Malliavin Calculus and its Application to Second Order Parabolic
Differential Equations: Part {I}},
journal = {Math. Syst. Theory},
volume = {14},
pages = {25--65},
year = {1981},
url = {https://doi.org/10.1007/BF01752389},
doi = {10.1007/BF01752389},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Stroock81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Stroock81a,
author = {Daniel W. Stroock},
title = {The Malliavin Calculus and its Application to Second Order Parabolic
Differential Equations: Part {II}},
journal = {Math. Syst. Theory},
volume = {14},
pages = {141--171},
year = {1981},
url = {https://doi.org/10.1007/BF01752393},
doi = {10.1007/BF01752393},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Stroock81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Allen66,
author = {B. T. Allen},
title = {An Investigation Into Direct Numerical Methods for Solving Some Calculus
of Variations Problems. Part 1 - Second Order Methods},
journal = {Comput. J.},
volume = {9},
number = {2},
pages = {205--210},
year = {1966},
url = {https://doi.org/10.1093/comjnl/9.2.205},
doi = {10.1093/COMJNL/9.2.205},
timestamp = {Mon, 20 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Allen66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Barcan47,
author = {Ruth C. Barcan},
title = {The Identity of Individuals in a Strict Functional Calculus of Second
Order},
journal = {J. Symb. Log.},
volume = {12},
number = {1},
pages = {12--15},
year = {1947},
url = {https://doi.org/10.2307/2267171},
doi = {10.2307/2267171},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Barcan47.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 06:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
