The SCEAS System
| |||||||

## Search the dblp DataBase
Jan M. Smith:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Grigori Mints, Jan M. Smith, Enn Tyugu
**Type-theoretical Semantics of Some Declarative Languages.**[Citation Graph (0, 0)][DBLP] Baltic Computer Science, 1991, pp:18-32 [Conf] - Jan M. Smith
**Kleene's Slash and Existence of Values of Open Terms in Type Theory.**[Citation Graph (0, 0)][DBLP] CSL, 1992, pp:395-402 [Conf] - Jan M. Smith
**The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.**[Citation Graph (0, 0)][DBLP] FCT, 1983, pp:445-456 [Conf] - Anne Salvesen, Jan M. Smith
**The Strength of the Subset Type in Martin-Löf's Type Theory**[Citation Graph (0, 0)][DBLP] LICS, 1988, pp:384-391 [Conf] - Thierry Coquand, Jan M. Smith
**An Application of Constructive Completeness.**[Citation Graph (0, 0)][DBLP] TYPES, 1995, pp:76-84 [Conf] - Tanel Tammet, Jan M. Smith
**Optimized Encodings of Fragments of Type Theory in First Order Logic.**[Citation Graph (0, 0)][DBLP] TYPES, 1995, pp:265-287 [Conf] - Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini
**Inductively generated formal topologies.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:71-106 [Journal] - Bengt Nordström, Jan M. Smith
**Propositions and Specifications of Programs in Martin-Löfs Type Theory.**[Citation Graph (0, 0)][DBLP] BIT, 1984, v:24, n:3, pp:288-301 [Journal] - Kent Petersson, Jan M. Smith
**Program Derivation in Type Theory: A Partitioning Problem.**[Citation Graph (0, 0)][DBLP] Comput. Lang., 1986, v:11, n:3/4, pp:161-172 [Journal] - Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
**Type Theorie Programming.**[Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1994, v:52, n:, pp:203-228 [Journal] - Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
**Formal Topologies on The Set of First-Order Formulae.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:3, pp:1183-1192 [Journal] - Jan M. Smith
**An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1984, v:49, n:3, pp:730-753 [Journal] - Jan M. Smith
**The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:3, pp:840-845 [Journal] - Tanel Tammet, Jan M. Smith
**Optimized Encodings of Fragments of Type Theory in First-Order Logic.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 1998, v:8, n:6, pp:713-744 [Journal] - Jan M. Smith
**Propositional Functions and Families of Types.**[Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:442-458 [Journal]
Search in 0.107secs, Finished in 0.107secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |