Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Didier Galmiche (eds.) |
Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![Elsevier The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
60 | Sachio Hirokawa, Daisuke Nagano |
Long Normal Form Proof Search and Counter-Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-11, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | Nikos Mylonakis |
Proof assistance for refinement in type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-21, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | Aleksey Nogin |
Writing Constructive Proofs Yielding Efficient Extracted Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-17, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | Didier Galmiche, J.-M. Notin |
Proof-search and proof nets in Mixed Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-33, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | Didier Galmiche |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-2, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | David J. Pym |
Notes Towards a Semantics for Proof-search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-18, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | James Harland, David J. Pym, Michael Winikoff |
Forward and Backward Chaining in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-16, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | Didier Galmiche (eds.) |
Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![Elsevier The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
60 | David J. Pym |
Logic Programming with Bunched Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-24, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Uwe Egly, Stephan Schmitt |
Intuitionistic Proof Transformations: Complexity and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-12, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Michael Franssen |
Embedding First-Order Tableaux into a Pure Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-23, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Frank Pfenning, Carsten Schürmann |
Algorithms for Equality and Unification in the Presence of Notational Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-13, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Didier Galmiche |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-2, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Didier Galmiche, Bruno Martin |
Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-20, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Luís Pinto 0001, Roy Dyckhoff |
Sequent Calculi for the Normal Terms of the - and - Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-14, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Dominique Larchey-Wendling, Didier Galmiche |
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Search in Type-Theoretic Languages@CADE ![In: Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998, pp. 1-18, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury |
A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, pp. 143-152, 2010, IEEE Computer Society, 978-1-4244-8480-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
colocation, Type-Theoretic, Real-Time |
32 | Jo Erskine Hannay |
Specification Refinement with System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 530-545, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Richmond H. Thomason |
Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 351-360, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Ana Bove, Venanzio Capretta |
Nested General Recursion and Partiality in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings, pp. 121-135, 2001, Springer, 3-540-42525-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Ken Q. Pu |
Service Description and Analysis From a Type Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 379-386, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Valery Trifonov, Bratin Saha, Zhong Shao |
Fully reflexive intensional type analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 82-93, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
runtime type dispatch, typed intermediate language, certified code |
28 | Robert Harper 0001, Mark Lillibridge |
A Type-Theoretic Approach to Higher-Order Modules with Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 123-137, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Stuart F. Allen |
A Non-Type-Theoretic Semantics for Type-Theoretic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1987 |
RDF |
|
25 | Zhaohui Luo |
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 214-222, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Bratin Saha, Valery Trifonov, Zhong Shao |
Intensional analysis of quantified types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(2), pp. 159-209, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code |
21 | Adam Chlipala |
Parametric higher-order abstract syntax for mechanized semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 143-156, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type-theoretic semantics, dependent types, compiler verification, interactive proof assistants |
21 | Ana Bove |
General Recursion in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, pp. 39-58, 2002, Springer, 3-540-14031-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Brigitte Pientka |
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 371-382, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type system, logical frameworks |
21 | Didier Galmiche |
Workshop: Type-Theoretic Languages: Proof-Search and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 515, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Yukiyoshi Kameyama |
A Type-Theoretic Study on Partial Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 489-504, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Martin Hofmann 0001, Benjamin C. Pierce |
A Unifying Type-Theoretic Framework for Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 251-262, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
Set-Theoretic and Type-Theoretic Ordinals Coincide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.10696, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
Set-Theoretic and Type-Theoretic Ordinals Coincide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Matthew Gotham |
A Model-Theoretic Reconstruction of Type-Theoretic Semantics for Anaphora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: Formal Grammar - 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers, pp. 37-53, 2017, Springer, 978-3-662-56342-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira |
Modular session types for distributed object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 299-312, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
non-uniform method availability, object-oriented calculus, typestates, session types |
18 | Herman Geuvers, Gueorgui I. Jojgov |
Open Proofs and Open Terms: A Basis for Interactive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 537-552, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
open terms, meta-variables, formulas-as-types, type theory, interactive theorem proving |
18 | Peter Aczel, Nicola Gambino |
Collection Principles in Dependent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 1-23, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Kenneth L. Knowles, Cormac Flanagan |
Compositional reasoning and decidable checking for dependent contract types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 27-38, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
refinement types, abstraction, dependent types, compositional reasoning |
18 | Tsung-Min Kuo, Prateek Mishra |
On Strictness and its Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 144-155, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
ML |
17 | Derek Dreyer, Matthias Blume |
Principal Type Schemes for Modular Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 441-457, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | John Hughes 0001 |
The Correctness of Type Specialisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 215-229, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Herman Geuvers |
(In)consistency of Extensions of Higher Order Logic and Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 140-159, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Zhong Shao |
Transparent Modules with Fully Syntactic Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 220-232, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ryan Wisnesky, Mauricio A. Hernández, Lucian Popa 0001 |
Mapping polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 196-208, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Clio, nested relational model, schema mapping |
14 | Yuyu Yin, Jianwei Yin, Ying Li 0001, ShuiGuang Deng |
Verifying Consistency of Web Services Behavior Using Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 1560-1567, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ana Bove, Venanzio Capretta |
Computation by Prophecy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 70-83, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | David G. Clarke, James Noble 0001, John Potter |
Simple Ownership Types for Object Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 53-76, 2001, Springer, 3-540-42206-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
OO type systems, object containment, flexible alias protection, ownership types |
14 | Douglas J. Howe |
Interactive Theorem Proving Using Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 578, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Karl Crary |
Foundations for the Implementation of Higher-Order Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 125-135, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | John Boyland, Giuseppe Castagna |
Type-Safe Compilation of Covariant Specialization: A Practical Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings, pp. 3-25, 1996, Springer, 3-540-61439-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Zhaohui Luo |
Program Specification and Data Refinement in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 143-168, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Yasuo Nakayama |
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers, pp. 101-102, 2008, Springer, 978-3-642-00608-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
Type-theoretic approaches to ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 957, pp. 113843, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | András Kovács |
Type-Theoretic Signatures for Algebraic Theories and Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.08837, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Henry DeYoung, Frank Pfenning |
Data Layout from a Type-Theoretic Perspective (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022, 2022, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jirí Raclavský |
Puzzles of Existential Generalisation from Type-theoretic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCL ![In: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., pp. 68-83, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
Type-Theoretic Approaches to Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.03844, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xinyu Ma, Alexander Afanasyev, Lixia Zhang 0001 |
A type-theoretic model on NDN-TLV encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: 9th ACM Conference on Information-Centric Networking, ICN 2022, Osaka, Japan, September 19-21, 2022, pp. 91-102, 2022, ACM, 978-1-4503-9257-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cesare Gallozzi |
Homotopy type-theoretic interpretations of constructive set theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(1), pp. 112-143, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Rafaël Bocquet |
Strictification of weakly stable type-theoretic structures using generic contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.10862, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Niccolò Veltri |
Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)., pp. 22:1-22:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-191-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Rafaël Bocquet |
Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)., pp. 3:1-3:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-254-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Dan R. Ghica, Todd Waugh Ambridge |
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.12868, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Thibaut Benjamin |
A type theoretic approach to weak w-categories and related higher structures. (Catégories faibles et structures supérieures afférentes en théorie des types). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Paige Randall North |
Type-theoretic weak factorization systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.00259, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Jan Bessai |
A type-theoretic framework for software component synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Jonathan Frankle, Peter-Michael Osera, David Walker 0001, Steve Zdancewic |
Example-directed synthesis: a type-theoretic interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 802-815, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | A. I. Domracheva, Pavel A. Shapkin |
Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, York, UK, 5-7 September 2016., pp. 951-960, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Chris Fox, Shalom Lappin |
Type-theoretic logic with an operational account of intensionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 192(3), pp. 563-584, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Peng Fu 0001, Ekaterina Komendantskaya |
A Type-Theoretic Approach to Structural Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.06166, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Peng Fu 0001, Ekaterina Komendantskaya |
A Type-Theoretic Approach to Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.04661, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Pavel Shapkin, Gregory Pomadchin |
A Type-theoretic Approach to Cloud Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST ![In: WEBIST 2015 - Proceedings of the 11th International Conference on Web Information Systems and Technologies, Lisbon, Portugal, 20-22 May, 2015, pp. 164-169, 2015, SciTePress, 978-989-758-106-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Peng Fu 0001, Ekaterina Komendantskaya |
A Type-Theoretic Approach to Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, pp. 91-106, 2015, Springer, 978-3-319-27435-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Raquel Fernández, Staffan Larsson |
Vagueness and Learning: A Type-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
*SEM@COLING ![In: Proceedings of the Third Joint Conference on Lexical and Computational Semantics, *SEM@COLING 2014, August 23-24, 2014, Dublin, Ireland., pp. 151-159, 2014, The *SEM 2014 Organizing Committee, 978-1-941643-25-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Kenichi Asai, Luminous Fennell, Peter Thiemann 0001, Yang Zhang |
A Type Theoretic Specification of Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 57-68, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Laurence Danlos, Philippe de Groote, Sylvain Pogodalla |
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, pp. 3-16, 2013, Springer, 978-3-319-10060-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj |
A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), Philadelphia, PA, USA, 8-11 July, 2013, pp. 374-379, 2013, IEEE Computer Society, 978-0-7695-5023-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Paul E. Oppenheimer, Edward N. Zalta |
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 21(2), pp. 351-374, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Bruno Mery |
Modélisation de la Sémantique Lexicale dans le cadre de la théorie des types. (Modelling lexical semantics in a type-theoretic framework). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
13 | Reinhard Muskens |
New Directions in Type-Theoretic Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 19(2), pp. 129-136, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Calegari, Carlos Luna 0001, Nora Szasz, Alvaro Tasistro |
A Type-Theoretic Framework for Certified Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 112-127, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
A type-theoretic foundation of delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 22(3), pp. 233-273, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Aleksandar Nanevski, Paul Govereau, Greg Morrisett |
Towards type-theoretic semantics for transactional concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 79-90, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
type theory, monads, hoare logic, separation logic |
13 | Sylvain Pogodalla |
Exploring a type-theoretic approach to accessibility constraint modelling ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0805.3410, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
13 | Peter Aczel, Nicola Gambino |
The generalised type-theoretic interpretation of constructive set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 71(1), pp. 67-103, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jay Ligatti, David Walker 0001, Steve Zdancewic |
A type-theoretic interpretation of pointcuts and advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 63(3), pp. 240-266, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |
Type-theoretic design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 13-22, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern |
13 | Peter Buchlovsky, Hayo Thielecke |
A Type-theoretic Reconstruction of the Visitor Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 309-329, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Iman Poernomo |
A Type Theoretic Framework for Formal Metamodelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 262-298, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
A type-theoretic foundation of continuations and prompts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 40-53, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset |
13 | Chris Fox, Shalom Lappin |
A type-theoretic approach to anaphora and ellipsis resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANLP ![In: Recent Advances in Natural Language Processing III, Selected Papers from RANLP 2003, Borovets, Bulgaria, pp. 1-16, 2003, John Benjamins, Amsterdam/Philadelphia, 1-58811-618-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
13 | Yves Bertot, Venanzio Capretta, Kuntal Das Barman |
Type-Theoretic Functional Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 83-98, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Carsten Schürmann |
A Type-Theoretic Approach to Induction with Higher-Order Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 266-281, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Andrzej S. Murawski |
On semantic and type-theoretic aspects of polynomial-time computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
13 | Didier Galmiche, David J. Pym |
Proof-search in type-theoretic languages: an introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 232(1-2), pp. 5-53, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Robert Harper 0001, Christopher A. Stone |
A type-theoretic interpretation of standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof, Language, and Interaction ![In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 341-388, 2000, The MIT Press, 978-0-262-16188-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
13 | Joachim van den Berg, Marieke Huisman, Bart Jacobs 0001, Erik Poll |
A Type-Theoretic Memory Model for Verification of Sequential Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers, pp. 1-21, 1999, Springer, 3-540-67898-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte |
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 6-13, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|