Neuroligin1 drives synaptic and behavioral maturation through intracellular interactions von Hoy, Jennifer L, Haeger, Paola A, Constable, John R L, Arias, Renee J, McCallum, Raluca, Kyweriga, Michael, Davis, Lawrence, Schnell, Eric, Wehr, Michael, Castillo, Pablo E, Washbourne, Philip

Volltext

Organization of central synapses by adhesion molecules von Tallafuss, Alexandra, Constable, John R. L., Washbourne, Philip

Volltext

An Introduction to the PL/CV2 Programming Logic von Constable, R. L, Johnson, S. D, Eichenlaub, C. D

Volltext

Amisyn Regulates Exocytosis and Fusion Pore Stability by Both Syntaxin-dependent and Syntaxin-independent Mechanisms von Constable, John R.L., Graham, Margaret E., Morgan, Alan, Burgoyne, Robert D.

Volltext

Innovations in computational type theory using Nuprl von Allen, S.F., Bickford, M., Constable, R.L., Eaton, R., Kreitz, C., Lorigo, L., Moran, E.

Volltext

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday von Constable, Robert L, Silva, Alexandra

Volltext

Proofs as programs von Bates, Joseph L., Constable, Robert L.

Volltext

The Nuprl open logical environment von ALLEN, S. F, CONSTABLE, R. L, EATON, R, KREITZ, C, LORIGO, L

Volltext

On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer von Constable, R. L.

Volltext

A Note on Complexity Measures for Inductive Classes in Constructive Type Theory von Constable, Robert L.

Volltext

A diversified and correct-by-construction broadcast service von Rahli, V., Schiper, N., Van Renesse, R., Bickford, M., Constable, R. L.

Volltext

Neuroligin1: a cell adhesion molecule that recruits PSD-95 and NMDA receptors by distinct mechanisms during synaptogenesis von Barrow, Stephanie L, Constable, John Rl, Clark, Eliana, El-Sabeawy, Faten, McAllister, A Kimberley, Washbourne, Philip

Volltext

Computational foundations of basic recursive function theory von Constable, Robert L., Smith, Scott F.

Volltext

On the Computational Complexity of Program Scheme Equivalence von Hunt III, H. B., Constable, R. L., Sahni, S.

Volltext

ML programming in constructive type theory von Constable, Robert L.

Volltext

Recursive definitions in type theory von Constable, R. L., Mendler, N. P.

Volltext

Mathematics as programming von Constable, R. L.

Volltext

Type theory as a foundation for computer science von Constable, Robert L.

Volltext

Programs as proofs: a synopsis von Constable, Robert L.

Volltext

The Type Theory of PL/CV3 von Constable, Robert L., Zlatin, Daniel R.

Volltext