Frank Pfenning is a professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department atâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Review

2010

Review

2010

- Frank Pfenning, Peter Lee
- 2010

<lb>Dividing a omputation into stages and optimizing later phases using information from earlier phases is a familiar te hniqueâ€¦Â (More)

Is this relevant?

Review

2008

Review

2008

- Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur, Frank Pfenning, Brigitte Pientka, Alexis Saurin
- 2008

To my parents and siblings. Acknowledgments The past three years as a PhD student have been interesting, exciting and enjoyableâ€¦Â (More)

Is this relevant?

2005

2005

As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilisticâ€¦Â (More)

Is this relevant?

2004

2004

- Peter B. Andrews, Peter B. Andrews, +4 authors Chad E. Brown
- 2004

s of contributed talks PETER B. ANDREWS AND CHAD E. BROWN, Proving theorems and teaching logic with TPS and ETPS. Department ofâ€¦Â (More)

Is this relevant?

1998

1998

- JoÃ«lle Despeyroux, Pierre Leleu
- TYPES
- 1998

An extension of the simply-typed -calculus allowing iteration and case reasoning over terms de ned by means of higher orderâ€¦Â (More)

Is this relevant?

1997

1997

- Frank Pfenning
- 1997

ion and function application employ the notion of substitution. Recall the inference rule and its representation in LF: e1 â†ªâ†’ lamâ€¦Â (More)

Is this relevant?

1997

1997

- Wolfgang Gehrke
- 1997

We report on an extension of the SML implementation of the logic programming language Elf [Pfe94] to support the check ofâ€¦Â (More)

Is this relevant?

Review

1996

Review

1996

- Gerald B. Penn
- 1996

Overview A method is described for proving the weak equivalence theorem between natural-deduction style Lambek Categorialâ€¦Â (More)

Is this relevant?

1990

1990

- Conal M. Elliott, Frank Pfenning
- 1990

This dissertation explores the problem of uni cation in various typed -calculi, developing and proving the correctness andâ€¦Â (More)

Is this relevant?

1990

1990

Â

Is this relevant?