Search Results - "Freyd, P."

From Refusal to Reconciliation: Family Relationships After an Accusation Based on Recovered Memories by McHugh, Paul R, Lief, Harold I, Freyd, Pamela P, Fetkewicz, Janet M

“…In following families who reported to the False Memory Foundation between 1992 and 2001 that a member had charged them with incest, a survey questionnaire…”
Get full text

False memory syndrome by Freyd, P

Get more information

Bireflectivity by Freyd, P.J., O’Hearn, P.W., Power, A.J., Takeyama, M., Street, R., Tennent, R.D.

“…Motivated by a model for syntactic control of interference, we introduce a general categorical concept of bireflectivity. Bireflective subcategories of a…”
Get full text

Cartesian logic by Freyd, Peter

“…The categorical semantics of cartesian logic was studied to understand the interpretation of a given programming language. A free model was found to exist for…”
Get full text

A new polynomial invariant of knots and links by Freyd, P., Yetter, D., Hoste, J., Lickorish, W. B. R., Millett, K., Ocneanu, A.

Get full text

Defaming One's Own Profession by Freyd, Pamela

“…Freyd responds to an award address at the 103rd Annual Convention of the American Psychological Association given by Pope in Aug 1995. Pope's remarks ranged…”
Get full text

A new framework for declarative programming by Finkelstein, Stacy E., Freyd, Peter, Lipton, James

“…We propose a new framework for the syntax and semantics of Weak Hereditarily Harrop logic programming with constraints, based on resolution over τ-categories:…”
Get full text

Functional parametricity by Freyd, P.J., Robinson, E.P., Rosolini, G.

“…The authors consider the idea of treating a parametrized type as an arbitrary functor from some parametrizing category to a category of types, and giving…”
Get full text

Bireflectivity by Freyd, P

Get full text

A new framework for declarative programming by Finkelstein, S E, Freyd, P, Lipton, J

“…A new framework for the syntax and semantics of declarative programming languages is proposed in this paper. The authors' categorical notion of syntax is based…”
Get full text

Bireflectivity: Mathematical Foundations of Programming Semantics by FREYD, P. J, O'HEARN, P. W, POWER, A. J, TAKEYAMA, M, STREET, R, TENNENT, R. D

Get full text

Recursive types reduced to inductive types by Freyd, P.

“…A setting called complete partial ordering (CPO) categories and the notion of dialgebra are described. Free dialgebras on CPO-categories are shown to be the…”
Get full text

Relative Homological Algebra Made Absolute by Freyd, Peter

Get full text

The Grothendieck group for stable homotopy is free by Freyd, Peter

Get full text

Extensional PERs by Freyd, P., Mulry, P., Rosolini, G., Scott, D.

“…A search is conducted for a class of PERs (partial equivalence relations on the natural numbers) such that the resulting full subcategory has the expected…”
Get full text

Bireflectivity by Freyd, P.J., O'Hearn, P.W., Power, A.J., Takeyama, M., Tennent, R.D.

“…Motivated by a model for syntactic control of interference, we introduce a general categorical concept of bireflectivity. Bireflective subcategories of a…”
Get full text

C167H336 is the smallest alkane with more realizable isomers than the observed universe has "particles" by Davies, Robert E, Freyd, Peter J

“…The number of stereoisomers of C167H336 that can exist, though not all at the same time, is greater than the classical figure for the number of particles in…”
Get full text